文档是为了理解程序所需的____。