Refactoring: record size is now an integer; no functional changes