mac_veriexec_init_label
ip->labellen = mac_veriexec_init_label(
ip->labellen = mac_veriexec_init_label(&ip->label,