better interrupt handler names, more pseudocode fixing