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