Update ObjectFiles.h

Interpreter function header