A non-implementation of the record spec