Update programmable_interrupt_timer.cpp