const file_obj = system.file_obj;