t3415: verify that an empty instructionFormat is handled as before