pub const NCKEY_F31: u32 = preterunicode(51); // 1_115_051u32