#pragma once void keyboard_do_irq();