// Placeholder.  See ../default/keymap.c for details