Type Alias seL4_Int16 

pub type seL4_Int16 = c_short;