exports.file = std_require('os.file').file