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