int main(void) {
 _Decimal64 x;
 return 0;
}