pub fn cast_uint16_to_int64<'a>(a: u16) -> i64