[callbacker]

Thanks! The spec can be found here: https://github.com/bloomberg/blazingmq/tree/main/etc/tlaplus