Constant GDK_KEY_braille_dots_12457 

pub const GDK_KEY_braille_dots_12457: c_int = 16787547;