Constant GDK_KEY_braille_dots_1257 

pub const GDK_KEY_braille_dots_1257: c_int = 16787539;