Constant GDK_KEY_Thai_fofa 

pub const GDK_KEY_Thai_fofa: c_int = 3517;