real_shift
if ((u64 >> real_shift()) == 0) {
if ((u64 >> real_shift()) == 0) {
shift = real_shift();
shift = real_shift();
if ((u64 >> real_shift()) == 0) {
if ((val >> real_shift()) == 0) {