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