{"name": "init_big_num", "code": "_QWORD * init_big_num ( ) { _QWORD * @@v1@@ ; @@v1@@ = malloc ( Number ) ; * @@v1@@ = Number L ; @@v1@@ [ Number ] = malloc ( Number ) ; return @@v1@@ ; }", "source": [{"n": "v1", "t": {"T": 3, "t": "_QWORD"}, "location": "s8"}]}