pub fn cast_bool_to_int64<'a>(a: bool) -> i64