As submitted for IETF87