Main is clean (07897c8b): every FUNCTION line has its address right
above it. offsetAnnotations makes the submission gate keep it that way.
CODING_RULES section 2: OFFSET goes on the line directly above each
FUNCTION line, never without one, with no blank line in the block;
several IDs on one body only for template instances.