Output file name record.
Currently assumes that obj_filename will not be called twice for the same file.
See Implementation
Output file name record.
Currently assumes that obj_filename will not be called twice for the same file.