Space problem: reading a list of records from a binary database