{"name": "div_helper", "code": "void __fastcall div_helper ( _QWORD * @@a1@@ , _QWORD * @@a2@@ , _QWORD * @@a3@@ , _QWORD * @@a4@@ ) { _BYTE * v4 ; _BYTE * v5 ; _BYTE * v6 ; _BYTE * v7 ; _BYTE * v8 ; _BYTE * v9 ; _BYTE * v10 ; _BYTE * v11 ; void * @@v14@@ ; void * @@ptr@@ ; void * @@v16@@ ; void * @@v17@@ ; void * v18 ; void * v19 ; void * v20 ; void * v21 ; if ( ( int ) compare_bignums ( * @@a1@@ , * @@a2@@ ) >= Number ) { v20 = ( void * ) * @@a4@@ ; v18 = ( void * ) * @@a2@@ ; v6 = ( _BYTE * ) bnadd ( * @@a4@@ , * @@a4@@ ) ; * @@a4@@ = fill_big_num ( v6 ) ; v7 = ( _BYTE * ) bnadd ( * @@a2@@ , * @@a2@@ ) ; * @@a2@@ = fill_big_num ( v7 ) ; free ( v20 ) ; free ( v18 ) ; div_helper ( @@a1@@ , @@a2@@ , @@a3@@ , @@a4@@ ) ; if ( ( int ) compare_bignums ( * @@a1@@ , * @@a2@@ ) >= Number ) { @@v17@@ = ( void * ) * @@a1@@ ; @@v16@@ = ( void * ) * @@a3@@ ; v8 = ( _BYTE * ) bnsub ( * @@a1@@ , * @@a2@@ ) ; * @@a1@@ = fill_big_num ( v8 ) ; v9 = ( _BYTE * ) bnadd ( * @@a3@@ , * @@a4@@ ) ; * @@a3@@ = fill_big_num ( v9 ) ; free ( @@v17@@ ) ; free ( @@v16@@ ) ; } v19 = ( void * ) * @@a2@@ ; v21 = ( void * ) * @@a4@@ ; v10 = ( _BYTE * ) div_by_2 ( * @@a2@@ ) ; * @@a2@@ = fill_big_num ( v10 ) ; v11 = ( _BYTE * ) div_by_2 ( * @@a4@@ ) ; * @@a4@@ = fill_big_num ( v11 ) ; free ( v19 ) ; free ( v21 ) ; } else { @@ptr@@ = ( void * ) * @@a2@@ ; @@v14@@ = ( void * ) * @@a4@@ ; v4 = ( _BYTE * ) div_by_2 ( * @@a2@@ ) ; * @@a2@@ = fill_big_num ( v4 ) ; v5 = ( _BYTE * ) div_by_2 ( * @@a4@@ ) ; * @@a4@@ = fill_big_num ( v5 ) ; free ( @@ptr@@ ) ; free ( @@v14@@ ) ; } }", "source": [{"n": "a3", "t": {"T": 3, "t": "_QWORD"}, "location": "r16"}, {"n": "a4", "t": {"T": 3, "t": "_QWORD"}, "location": "r24"}, {"n": "a1", "t": {"T": 3, "t": "_QWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_QWORD"}, "location": "r64"}, {"n": "v17", "t": {"T": 3, "t": "void"}, "location": "s24"}, {"n": "v16", "t": {"T": 3, "t": "void"}, "location": "s32"}, {"n": "ptr", "t": {"T": 3, "t": "void"}, "location": "s40"}, {"n": "v14", "t": {"T": 3, "t": "void"}, "location": "s48"}]}