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