257c257
< return new FailUnimplemented("brk", machInst);
---
> return new Brk64(machInst);