Hello, Deftransaction permits &rest args, but they don't seem to be recorded in the store. Is the correct behavior that &rest args should not be valid in a deftransaction lambda-list, or is this a bug in storing them? Thanks, Vladimir