Can you actually change this to `repr::write_repr`? I think that this can address the XXX now that repr has changed.