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