Some code for interfacing with DOT, plus some comments for marking
examples clearly.