Use gregr-misc/record