Small fix for TestIrq instructions_test.go