xc/programs/xkbcomp/keycodes/sgi