Source position: usbkeyboard.inc line 44
function USBKeyboard_ToggleLed(
led: USBKeyboard_led
):cint32;