Hot: interoperable-protocol-specification