{"name": "int32_to_floatx80", "code": "long double __fastcall int32_to_floatx80 ( int @@a1@@ ) { return ( long double ) @@a1@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}]}