(program (programItem (procedureDecl procedure local::stamp ( ) (block { (blockItem (statement inbound.req.X-Stamp = (value "tagged") ;)) }))) (programItem (section REMAP { (sectionBody (statement (functionCall local::stamp ( )) ;)) })) <EOF>)
