Symbol: veriexec_file_free