pub fn check_int_list(attrib_list: &[Int]) -> Result<(), Error>