BAD_DEFAULT_STR
(void) fprintf(stderr, BAD_DEFAULT_STR,
BAD_DEFAULT_STR, KBD_PROP_LAYOUT, val_layout);