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