pub type HenryAsTypeI16 = i16;