History support/protocol.mli