let is_zero x = equal x zero