Formatted IRQ.hpp and IRQ.cpp