More work on converting deserializers