Documented proxy.c