veramente coi file binari il ciclo si dovrebbe fare cosi

do while seek(filenumber) < filelen(filenumber)


loop