Saved games just store the input list, so we don't serialized procs.