Add fake EXT instruction, fix bug in debugnames.
Do interrupt handling the right way.