static int hashOfBool(bool b) {
  ret Bool.hashCode(b);
}