Forgot to add arguments to the declaration of irq::install_handler()