> I'm not sure what this has to do with my comment Because you explicitly mentioned details that belong in the implementation, not in the semantic: > A halt/a

> I'm not sure what this has to do with my comment Because you explicitly mentioned details that belong in the implementation, not in the semantic: > A halt/abort instruction that trashes [the] state would be undesirable If you want to attach a debugger, then use a breakpoint, don't try to obtain the same effect within the code.