test for using Kernel.defrecord