[{ s =
   (DirectiveStmt
      { d =
        (ImportAs (_, (DottedName [("debug", _); ("PrintTrait", _)]), None));
        d_attrs = [] });
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("main", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _); frettype = None;
             fbody =
             (FBStmt
                { s =
                  (ExprStmt (
                     { e =
                       (StmtExpr
                          { s =
                            (Block
                               (_,
                                [{ s =
                                   (ExprStmt (
                                      { e =
                                        (Call (
                                           { e =
                                             (DotAccess (
                                                { e =
                                                  (L
                                                     (String
                                                        (_,
                                                         ("'Hello, world!'",
                                                          _),
                                                         _)));
                                                  e_id = 0; e_range = None;
                                                  is_implicit_return = false;
                                                  facts = <opaque> },
                                                _,
                                                (FN
                                                   (Id (("print", _),
                                                      { 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> },
                                           (_, [], _)));
                                        e_id = 0; e_range = None;
                                        is_implicit_return = false;
                                        facts = <opaque> },
                                      _));
                                   s_range = None }
                                  ],
                                _));
                            s_range = None });
                       e_id = 0; e_range = None; is_implicit_return = false;
                       facts = <opaque> },
                     _));
                  s_range = None })
             })));
    s_range = None }
  ]