[{ s =
   (DirectiveStmt
      { d = (Package (_, [("visible", _)]));
        d_attrs =
        [(OtherAttribute (("BracketsAttr", _),
            [(E
                { e =
                  (Call (
                     { e =
                       (N
                          (IdQualified
                             { name_last = (("visibility", _), None);
                               name_middle =
                               (Some (QDots [(("gnu", _), None)]));
                               name_top = None;
                               name_info =
                               { id_resolved = ref (None);
                                 id_resolved_alternatives = ref ([]);
                                 id_type = ref (None);
                                 id_svalue = ref (Unknown);
                                 id_flags = ref (0); id_info_id = _ }
                               }));
                       e_id = 0; e_range = None; is_implicit_return = false;
                       facts = <opaque> },
                     (_,
                      [(Arg
                          { e = (L (String (_, ("default", _), _)));
                            e_id = 0; e_range = None;
                            is_implicit_return = false; facts = <opaque> })
                        ],
                      _)
                     ));
                  e_id = 0; e_range = None; is_implicit_return = false;
                  facts = <opaque> })
              ]
            ))
          ]
        });
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("value", _),
                { id_resolved = ref ((Some (Global, _)));
                  id_resolved_alternatives = ref ([]);
                  id_type =
                  ref ((Some { t =
                               (TyN
                                  (Id (("int", _),
                                     { id_resolved = ref (None);
                                       id_resolved_alternatives = ref ([]);
                                       id_type = ref (None);
                                       id_svalue = ref (Unknown);
                                       id_flags = ref (0); id_info_id = _ }
                                     )));
                               t_attrs = [] }));
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (VarDef
           { vinit = None;
             vtype =
             (Some { t =
                     (TyN
                        (Id (("int", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     t_attrs = [] });
             vtok = (Some _) })));
    s_range = None };
  { s = (DirectiveStmt { d = (PackageEnd _); d_attrs = [] }); s_range = None
    }
  ]