sbool not0_gen(O o) {
  ret !eqOneOf(o, "0", 0, 0L, 0.0, 0f);
}