Proper GAS formatting
ISRs