diff --git a/riscv/insns/mtc0.h b/riscv/insns/mtc0.h
index f018cf63..d45d459c 100644
--- a/riscv/insns/mtc0.h
+++ b/riscv/insns/mtc0.h
@@ -11,15 +11,6 @@ switch(insn.rtype.rs)
   case 3:
     ebase = sext32(RT & ~0xFFF);
     break;
-  case 8:
-  {
-    char ch = RT;
-    demand(1 == write(1,&ch,1),"wtf");
-    break;
-  }
-  case 9:
-    printf("%ld insns retired\n",counters[0]);
-    exit(0);
 
   case 16:
     sim->set_tohost(sext32(RT));