pub fn get_mip_list() -> [(MipInfo, MipState); 0]