22 static int64_t cvb(uint64_t x)  in cvb()  function
65     assert(cvb(0xc) == OK32(0) && signum == -1);  in main()
66     assert(cvb(0x1c) == OK32(1) && signum == -1);  in main()
67     assert(cvb(0x25594c) == OK32(25594) && signum == -1);  in main()
68     assert(cvb(0x1d) == OK32(-1) && signum == -1);  in main()
69     assert(cvb(0x2147483647c) == OK32(0x7fffffff) && signum == -1);  in main()
70     assert(cvb(0x2147483648d) == OK32(-0x80000000) && signum == -1);  in main()
71     assert(cvb(0x7) == FAIL && signum == SIGILL);  in main()
72     assert(cvb(0x2147483648c) == OK32(0x80000000) && signum == SIGFPE);  in main()
73     assert(cvb(0x3000000000c) == OK32(0xb2d05e00) && signum == SIGFPE);  in main()
74     assert(cvb(0x2147483649d) == OK32(0x7fffffff) && signum == SIGFPE);  in main()
75     assert(cvb(0x3000000000d) == OK32(0x4d2fa200) && signum == SIGFPE);  in main()