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