Table 1: File sizes for hello.p, touch.p, and textedit.p.