let dummy () = incr gdummy; p_app1 "dummy" (e_int !gdummy)