[IPV4]: ip_check_mc() annotations