pub const OPT_TOUCH_SCALE: &[u8; 15] = b"gui-touchscale\0";