Symbolics Keyboard adapter code