pub fn cast_bool_to_int32<'a>(a: bool) -> i32