abstract://dylan/dfmc/back-end-protocol/back-end-protocol.lid
