And define-record-type works!