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