Symbol: veriexec_check_fd_mode