def not_u64(x): return ~u64(x)
def xor_u64(x, y): return u64(x) ^ u64(y)
def or_u64(x, y): return u64(x) | u64(y)
def and_u64(x, y): return u64(x) & u64(y)
def rshift_u64(x, c): return u64(x) >> u8(c)
def lshift_u64(x, c): return u64(x) << u8(c)