add a debug output call dout.