Another define-record-type test