First work towards implementing C_WaitForSlotEvent