First implementation of compile-time proxies