Examples for using prog6 toolkit