Fix #1: Make interrupt vector extern so it is not optimized away