There's a problem with how we calculate the record length... posting on Piazza to clarify