47                      UINT64_C(0x7fff800000000000),  in main()
48                      UINT64_C(0x0)))  in main()
51     if (test__multf3(makeNaN128(UINT64_C(0x800030000000)),  in main()
53                      UINT64_C(0x7fff800000000000),  in main()
54                      UINT64_C(0x0)))  in main()
59                      UINT64_C(0x7fff000000000000),  in main()
60                      UINT64_C(0x0)))  in main()
65                      UINT64_C(0x400423e7f9e3c9fc),  in main()
66                      UINT64_C(0xd906c2c2a85777c4)))  in main()
70                      UINT64_C(0x3fc52a163c6223fc),  in main()
71                      UINT64_C(0xc94c4bf0430768b4)))  in main()
75                      UINT64_C(0x44293a91de5e0e94),  in main()
76                      UINT64_C(0xe8ed17cc2cdf64ac)))  in main()
80                      UINT64_C(0x3d4f37c1a3137cae),  in main()
81                      UINT64_C(0xfc6807048bc2836a)))  in main()
86                      UINT64_C(0x0),  in main()
87                      UINT64_C(0x0)))  in main()