Added proxies for example programs