Az eredeti x : F file-t és az absztrakt b : B file-t közvetlenül nehéz lenne összekapcsolni, ezért bevezetünk egy ujabb absztrakt file-t a : A ami az eredeti x : F file sorainak a hosszát fogja tartalmazni.
Az eredeti x : F file-t és az absztrakt b : B file-t közvetlenül nehéz lenne összekapcsolni, ezért bevezetünk egy ujabb absztrakt file-t a : A ami az eredeti x : F file sorainak a hosszát fogja tartalmazni.