/* Sets the 'other' error type of this error object. */
  void set_other_type(const char *ot) {