;;;; typed-records.setup (standard-extension 'typed-records 0.4)