contract C {
    uint[2**64 - 1] x;
}