{"name": "query_formats", "code": "__int64 __fastcall query_formats ( __int64 @@a1@@ ) { __int64 @@result@@ ; int v2 ; int v3 ; int v4 ; int v5 ; __int64 @@v6@@ ; __int64 @@v7@@ ; __int64 @@v8@@ ; __int64 v9 ; __int64 v10 ; __int64 v11 ; @@v7@@ = * * ( _QWORD * * ) ( @@a1@@ + Number ) ; @@v6@@ = * * ( _QWORD * * ) ( @@a1@@ + Number ) ; v9 = ff_make_format_list ( & sample_fmts_9879 ) ; v2 = ff_formats_ref ( v9 , @@v7@@ + Number ) ; if ( v2 < Number ) return ( unsigned int ) v2 ; @@v8@@ = ff_all_channel_layouts ( ) ; v3 = ff_channel_layouts_ref ( @@v8@@ , @@v7@@ + Number ) ; if ( v3 < Number ) return ( unsigned int ) v3 ; v10 = ff_all_samplerates ( ) ; v4 = ff_formats_ref ( v10 , @@v7@@ + Number ) ; if ( v4 < Number ) return ( unsigned int ) v4 ; v11 = ff_make_format_list ( & pix_fmts_9880 ) ; v5 = ff_formats_ref ( v11 , @@v6@@ + Number ) ; if ( v5 >= Number ) @@result@@ = Number L ; else @@result@@ = ( unsigned int ) v5 ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v8", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}]}