RFC 4200 was never issued

The RFC Editor skipped this number; no document was ever published under it.