Constant OPT_HOTBAR_SCALE 

pub const OPT_HOTBAR_SCALE: &[u8; 16] = b"gui-hotbarscale\0";