type BufferID = u64; protocol SDS { fn register_protocol(BufferID, String) -> bool; }