The following formatting options must be supported: *Emphasis* `command line or code example` =Heading=
public void Message(string message) { Contract.Requires(message != null); }