I don't know how to do it. I don't know how to create a new Record()
instance at KiraDB line 329.

You can see what I tried. But that fails.