method private call () = Stack.iter (fun x -> x := true) has_call