[{ s = (OtherStmt (OS_Todo, [(Tk _)])); 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 =
                  (Block
                     (_,
                      [{ s =
                         (Block
                            (_,
                             [{ s =
                                (ExprStmt (
                                   { e =
                                     (Call (
                                        { e =
                                          (N
                                             (Id (("NSLog", _),
                                                { 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
                                                     (_, ("Hello, %@!", _), _)));
                                               e_id = 0; e_range = None;
                                               is_implicit_return = false;
                                               facts = <opaque> });
                                           (Arg
                                              { e =
                                                (L
                                                   (String
                                                      (_, ("world", _), _)));
                                                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 };
                        { s =
                          (Return (_,
                             (Some { e = (L (Int ((Some 0L), _))); e_id = 0;
                                     e_range = None;
                                     is_implicit_return = false;
                                     facts = <opaque> }),
                             _));
                          s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None }
  ]