re-export alloc_file()