Pr(
  [DefStmt(
     ({
       name=EN(
              Id(("unsafe_read", ()),
                {id_info_id=7; id_flags=Ref(0); 
                 id_resolved_alternative=Ref([]); id_resolved=Ref(None); 
                 id_type=Ref(None); id_svalue=Ref(Unknown); }));
       attrs=[]; tparams=None; },
      FuncDef(
        {fkind=(Function, ()); 
         fparams=[Param(
                    {pname=Some(("user", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=1; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 0))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     });
                  Param(
                    {pname=Some(("ident", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=2; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 1))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     })];
         frettype=None; 
         fbody=FBStmt(
                 Block(
                   [ExprStmt(
                      Assign(
                        N(
                          Id(("doc", ()),
                            {id_info_id=3; id_flags=Ref(0); 
                             id_resolved_alternative=Ref([]); 
                             id_resolved=Ref(Some((LocalVar, 2))); 
                             id_type=Ref(None); id_svalue=Ref(Unknown); })),
                        (),
                        Call(
                          N(
                            Id(("load_by_id", ()),
                              {id_info_id=4; id_flags=Ref(0); 
                               id_resolved_alternative=Ref([]); 
                               id_resolved=Ref(None); id_type=Ref(None); 
                               id_svalue=Ref(Unknown); })),
                          [Arg(
                             N(
                               Id(("ident", ()),
                                 {id_info_id=5; id_flags=Ref(0); 
                                  id_resolved_alternative=Ref([]); 
                                  id_resolved=Ref(Some((Parameter, 1))); 
                                  id_type=Ref(None); id_svalue=Ref(Unknown); })))])),
                      ());
                    Return((),
                      Some(Container(Tuple,
                             [L(Int((Some(200), ())));
                              ArrayAccess(
                                N(
                                  Id(("doc", ()),
                                    {id_info_id=6; id_flags=Ref(0); 
                                     id_resolved_alternative=Ref([]); 
                                     id_resolved=Ref(Some((LocalVar, 2))); 
                                     id_type=Ref(None); id_svalue=Ref(
                                     Sym); })), L(String(("body", ()))))])),
                      ())]));
         })));
   DefStmt(
     ({
       name=EN(
              Id(("unsafe_export", ()),
                {id_info_id=14; id_flags=Ref(0); 
                 id_resolved_alternative=Ref([]); id_resolved=Ref(None); 
                 id_type=Ref(None); id_svalue=Ref(Unknown); }));
       attrs=[]; tparams=None; },
      FuncDef(
        {fkind=(Function, ()); 
         fparams=[Param(
                    {pname=Some(("customer", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=8; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 3))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     });
                  Param(
                    {pname=Some(("number", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=9; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 4))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     })];
         frettype=None; 
         fbody=FBStmt(
                 Block(
                   [ExprStmt(
                      Assign(
                        N(
                          Id(("item", ()),
                            {id_info_id=10; id_flags=Ref(0); 
                             id_resolved_alternative=Ref([]); 
                             id_resolved=Ref(Some((LocalVar, 5))); 
                             id_type=Ref(None); id_svalue=Ref(Unknown); })),
                        (),
                        Call(
                          N(
                            Id(("load_by_id", ()),
                              {id_info_id=11; id_flags=Ref(0); 
                               id_resolved_alternative=Ref([]); 
                               id_resolved=Ref(None); id_type=Ref(None); 
                               id_svalue=Ref(Unknown); })),
                          [Arg(
                             N(
                               Id(("number", ()),
                                 {id_info_id=12; id_flags=Ref(0); 
                                  id_resolved_alternative=Ref([]); 
                                  id_resolved=Ref(Some((Parameter, 4))); 
                                  id_type=Ref(None); id_svalue=Ref(Unknown); })))])),
                      ());
                    Return((),
                      Some(Container(Tuple,
                             [L(Int((Some(200), ())));
                              Call(Special((Op(Plus), ())),
                                [Arg(L(String(("EXPORT:", ()))));
                                 Arg(
                                   ArrayAccess(
                                     N(
                                       Id(("item", ()),
                                         {id_info_id=13; id_flags=Ref(
                                          0); 
                                          id_resolved_alternative=Ref(
                                          []); 
                                          id_resolved=Ref(Some((LocalVar, 5)));
                                          id_type=Ref(None); 
                                          id_svalue=Ref(Sym); })),
                                     L(String(("body", ())))))])])), ())]));
         })));
   DefStmt(
     ({
       name=EN(
              Id(("unsafe_nested", ()),
                {id_info_id=22; id_flags=Ref(0); 
                 id_resolved_alternative=Ref([]); id_resolved=Ref(None); 
                 id_type=Ref(None); id_svalue=Ref(Unknown); }));
       attrs=[]; tparams=None; },
      FuncDef(
        {fkind=(Function, ()); 
         fparams=[Param(
                    {pname=Some(("user", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=15; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 6))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     });
                  Param(
                    {pname=Some(("ident", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=16; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 7))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     })];
         frettype=None; 
         fbody=FBStmt(
                 Block(
                   [ExprStmt(
                      Assign(
                        N(
                          Id(("doc", ()),
                            {id_info_id=17; id_flags=Ref(0); 
                             id_resolved_alternative=Ref([]); 
                             id_resolved=Ref(Some((LocalVar, 8))); 
                             id_type=Ref(None); id_svalue=Ref(Unknown); })),
                        (),
                        Call(
                          N(
                            Id(("load_by_id", ()),
                              {id_info_id=18; id_flags=Ref(0); 
                               id_resolved_alternative=Ref([]); 
                               id_resolved=Ref(None); id_type=Ref(None); 
                               id_svalue=Ref(Unknown); })),
                          [Arg(
                             N(
                               Id(("ident", ()),
                                 {id_info_id=19; id_flags=Ref(0); 
                                  id_resolved_alternative=Ref([]); 
                                  id_resolved=Ref(Some((Parameter, 7))); 
                                  id_type=Ref(None); id_svalue=Ref(Unknown); })))])),
                      ());
                    If((),
                      Cond(
                        Call(Special((Op(NotPhysEq), ())),
                          [Arg(
                             N(
                               Id(("doc", ()),
                                 {id_info_id=20; id_flags=Ref(0); 
                                  id_resolved_alternative=Ref([]); 
                                  id_resolved=Ref(Some((LocalVar, 8))); 
                                  id_type=Ref(None); id_svalue=Ref(Sym); })));
                           Arg(L(Null(())))])),
                      Block(
                        [Return((),
                           Some(Container(Tuple,
                                  [L(Int((Some(200), ())));
                                   ArrayAccess(
                                     N(
                                       Id(("doc", ()),
                                         {id_info_id=21; id_flags=Ref(
                                          0); 
                                          id_resolved_alternative=Ref(
                                          []); 
                                          id_resolved=Ref(Some((LocalVar, 8)));
                                          id_type=Ref(None); 
                                          id_svalue=Ref(Sym); })),
                                     L(String(("body", ()))))])), ())]), None)]));
         })));
   DefStmt(
     ({
       name=EN(
              Id(("safe_read", ()),
                {id_info_id=31; id_flags=Ref(0); 
                 id_resolved_alternative=Ref([]); id_resolved=Ref(None); 
                 id_type=Ref(None); id_svalue=Ref(Unknown); }));
       attrs=[]; tparams=None; },
      FuncDef(
        {fkind=(Function, ()); 
         fparams=[Param(
                    {pname=Some(("user", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=23; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 9))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     });
                  Param(
                    {pname=Some(("ident", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=24; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 10))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     })];
         frettype=None; 
         fbody=FBStmt(
                 Block(
                   [ExprStmt(
                      Assign(
                        N(
                          Id(("doc", ()),
                            {id_info_id=25; id_flags=Ref(0); 
                             id_resolved_alternative=Ref([]); 
                             id_resolved=Ref(Some((LocalVar, 11))); 
                             id_type=Ref(None); id_svalue=Ref(Unknown); })),
                        (),
                        Call(
                          N(
                            Id(("load_by_id", ()),
                              {id_info_id=26; id_flags=Ref(0); 
                               id_resolved_alternative=Ref([]); 
                               id_resolved=Ref(None); id_type=Ref(None); 
                               id_svalue=Ref(Unknown); })),
                          [Arg(
                             N(
                               Id(("ident", ()),
                                 {id_info_id=27; id_flags=Ref(0); 
                                  id_resolved_alternative=Ref([]); 
                                  id_resolved=Ref(Some((Parameter, 10))); 
                                  id_type=Ref(None); id_svalue=Ref(Unknown); })))])),
                      ());
                    If((),
                      Cond(
                        Call(Special((Op(NotEq), ())),
                          [Arg(
                             ArrayAccess(
                               N(
                                 Id(("doc", ()),
                                   {id_info_id=28; id_flags=Ref(0); 
                                    id_resolved_alternative=Ref([]); 
                                    id_resolved=Ref(Some((LocalVar, 11))); 
                                    id_type=Ref(None); id_svalue=Ref(
                                    Sym); })), L(String(("owner", ())))));
                           Arg(
                             N(
                               Id(("user", ()),
                                 {id_info_id=29; id_flags=Ref(0); 
                                  id_resolved_alternative=Ref([]); 
                                  id_resolved=Ref(Some((Parameter, 9))); 
                                  id_type=Ref(None); id_svalue=Ref(Unknown); })))])),
                      Block(
                        [Return((),
                           Some(Container(Tuple,
                                  [L(Int((Some(403), ())));
                                   L(String(("forbidden", ())))])), ())]),
                      None);
                    Return((),
                      Some(Container(Tuple,
                             [L(Int((Some(200), ())));
                              ArrayAccess(
                                N(
                                  Id(("doc", ()),
                                    {id_info_id=30; id_flags=Ref(0); 
                                     id_resolved_alternative=Ref([]); 
                                     id_resolved=Ref(Some((LocalVar, 11))); 
                                     id_type=Ref(None); id_svalue=Ref(
                                     Sym); })), L(String(("body", ()))))])),
                      ())]));
         })));
   DefStmt(
     ({
       name=EN(
              Id(("unrelated", ()),
                {id_info_id=34; id_flags=Ref(0); 
                 id_resolved_alternative=Ref([]); id_resolved=Ref(None); 
                 id_type=Ref(None); id_svalue=Ref(Unknown); }));
       attrs=[]; tparams=None; },
      FuncDef(
        {fkind=(Function, ()); 
         fparams=[Param(
                    {pname=Some(("item", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=32; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 12))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     })];
         frettype=None; 
         fbody=FBStmt(
                 Block(
                   [Return((),
                      Some(ArrayAccess(
                             N(
                               Id(("item", ()),
                                 {id_info_id=33; id_flags=Ref(0); 
                                  id_resolved_alternative=Ref([]); 
                                  id_resolved=Ref(Some((Parameter, 12))); 
                                  id_type=Ref(None); id_svalue=Ref(Unknown); })),
                             L(String(("body", ()))))), ())]));
         })));
   DefStmt(
     ({
       name=EN(
              Id(("safe_missing", ()),
                {id_info_id=40; id_flags=Ref(0); 
                 id_resolved_alternative=Ref([]); id_resolved=Ref(None); 
                 id_type=Ref(None); id_svalue=Ref(Unknown); }));
       attrs=[]; tparams=None; },
      FuncDef(
        {fkind=(Function, ()); 
         fparams=[Param(
                    {pname=Some(("user", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=35; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 13))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     });
                  Param(
                    {pname=Some(("ident", ())); pdefault=None; ptype=None; 
                     pattrs=[]; 
                     pinfo={id_info_id=36; id_flags=Ref(0); 
                            id_resolved_alternative=Ref([]); 
                            id_resolved=Ref(Some((Parameter, 14))); 
                            id_type=Ref(None); id_svalue=Ref(Unknown); };
                     })];
         frettype=None; 
         fbody=FBStmt(
                 Block(
                   [ExprStmt(
                      Assign(
                        N(
                          Id(("doc", ()),
                            {id_info_id=37; id_flags=Ref(0); 
                             id_resolved_alternative=Ref([]); 
                             id_resolved=Ref(Some((LocalVar, 15))); 
                             id_type=Ref(None); id_svalue=Ref(Unknown); })),
                        (),
                        Call(
                          N(
                            Id(("load_by_id", ()),
                              {id_info_id=38; id_flags=Ref(0); 
                               id_resolved_alternative=Ref([]); 
                               id_resolved=Ref(None); id_type=Ref(None); 
                               id_svalue=Ref(Unknown); })),
                          [Arg(
                             N(
                               Id(("ident", ()),
                                 {id_info_id=39; id_flags=Ref(0); 
                                  id_resolved_alternative=Ref([]); 
                                  id_resolved=Ref(Some((Parameter, 14))); 
                                  id_type=Ref(None); id_svalue=Ref(Unknown); })))])),
                      ());
                    Return((),
                      Some(Container(Tuple,
                             [L(Int((Some(404), ())));
                              L(String(("not found", ())))])), ())]));
         })))])
