mp_obj_t file_obj___exit__(uint n_args, const mp_obj_t *args) { return file_obj_close(args[0]); }
STATIC mp_obj_t file_obj___exit__(size_t n_args, const mp_obj_t *args) { (void)n_args; return file_obj_close(args[0]); }