let
export_goal fmt g p =
array_flag :=
true
;
export_goal fmt g p