# The default keymap for miuni32