let is_even v = is_zero (logand one v)