foo() {
    bits64 a;
    a = 0x10000000000000000; // overflows 64 bits
    return (a);
}