{"name": "access_ok", "code": "_BOOL8 __fastcall access_ok ( int @@a1@@ , unsigned int @@a2@@ , unsigned int @@a3@@ ) { __int64 v3 ; if ( @@a1@@ ) v3 = Number L ; else v3 = Number L ; return ( unsigned int ) page_check_range ( @@a2@@ , @@a3@@ , v3 ) == Number ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}]}
{"name": "lock_user", "code": "__int64 __fastcall lock_user ( int @@a1@@ , unsigned int @@a2@@ , unsigned int @@a3@@ ) { __int64 @@result@@ ; if ( access_ok ( @@a1@@ , @@a2@@ , @@a3@@ ) ) @@result@@ = @@a2@@ + guest_base ; else @@result@@ = Number L ; return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}