Constant retro_mod_RETROKMOD_NUMLOCK 

pub const retro_mod_RETROKMOD_NUMLOCK: retro_mod = 16;