Changed (list) to `() in def-checked-asm-instr