concrete syntax: decorate all top-level decls with line pragmas.