Constant GDK_KEY_Thai_nonen 

pub const GDK_KEY_Thai_nonen: c_int = 3507;