Constant GDK_KEY_F19 

pub const GDK_KEY_F19: c_int = 65488;