#define BIT0 ((UV)0x8000000000000000ULL)