minified code für ISRs and IRQs; fixes #25