let
is_even v = is_zero (logand one v)