Symbol: mac_veriexec_set_state