instr seems more natural to type than inst