Additions to example proc.