Som vist ovenfor er Pascal-filer sekvenser av komponenter. Hver fil har en buffervariabel annotert av . Funksjonene (for lesing) og (for skriving) flytter buffervariabelen til det neste elementet. Lesing er slik at er det samme som . Skriving er slik at er det samme som Datatypen er på forhånd definert som en fil med -verdier. Buffervariabelen kunne ha vært brukt til å sjekke det neste tegnet. F.eks. sjekke om neste tegn faktisk er et tall før et heltall lagres. Dette konseptet førte til alvorlige problemer i interaktive programmer i tidlige implementasjoner, men ble løst senere med «lat I/O» (eng:lazy I/O).