[{ s =
   (ExprStmt (
      { e =
        (Call (
           { e =
             (DotAccess (
                { e =
                  (N
                     (Id (("re", _),
                        { 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> },
                _,
                (FN
                   (Id (("match", _),
                      { id_resolved = ref (None);
                        id_resolved_alternatives = ref ([]);
                        id_type =
                        ref ((Some { t =
                                     (TyFun (
                                        [(OtherParam (("TODO", _), []))],
                                        { t = (OtherType (("TODO", _), []));
                                          t_attrs = [] }
                                        ));
                                     t_attrs = [] }));
                        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 =
                  (N
                     (Id (("foo", _),
                        { 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 (_, ("0|false|null", _), _))); 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 }
  ]