{-(Program (Module (Identifier)) (Function (Identifier) (Args) (ExpressionStatements (Other "label_statement" (Identifier)))))-}