================== empty_proc ================== module proc f() return end. --- (source_file (module_declaration (procedure_declaration (identifier_definition (identifier)) (parameter_list) (procedure_body (return_clause)))))