(program (programItem (useDirective use test::add-debug-header)) (programItem (procedureDecl procedure local::mine ( ) (block { (blockItem (statement inbound.req.X-Mine = (value "local") ;)) }))) (programItem (section REMAP { (sectionBody (statement (functionCall test::add-debug-header ( (argumentList (value "ext")) )) ;)) (sectionBody (statement (functionCall local::mine ( )) ;)) })) <EOF>)
