Specification for the RemoteDebug Protocol