If there were only the one program, a worthwhile approach would be to scour the application, its dynamically linked libraries, and the kernel sources.

如果只考虑一个程序的话，那么可以研究应用程序本身、它的动态链接库和内核源代码。

This program keeps track of where to do page breaks, therefore it is worthwhile to prove that the page-breaking mechanism works.

这个程序会保持在何处分页的追踪，因此，有必要证明分页机制有效。