/* * Add a file to be monitored by Veriexec. * * Expected elements in dict: file, fp, fp-type, entry-type. */