let
is_zero x = equal x zero