0x60 && $ord < 0x7b) { return chr(ctrl_key($char)); } // Invalid input, not an ascii letter return NULL; } }