let
export_decl fmt d =
array_flag :=
true
;
export_decl fmt d