extern void regdump(void);

void cmain(void) {
  regdump();
}