print( "before" ); program foo() print( "body" ); endprogram print( "after" );