executable_object_file