Symbol: veriexec_file_purge