在一单用户操作系统中，当用户编辑好一个程序要存放到磁盘上去的时候，他使用操作系统提供的( )这一接口。