undo changes to serialize.rkt from 53497a3