Code Discovery

• one-linear function must have at least one empty line before header

• header must take one line

• first line of a body must not be a comment