A Protocol Description Language for Customizing Semantics.