Make page-merge-seq, page-merge-par even longer.
[pintos-anon] / specs / kbd /
2004-09-08 Ben PfaffSpecifications.