int *   __error(void) {
  return(0x0);
  }