Example source code for using dawn as a programmer