implement dumping for instrs in Simple