defined leave and link-state structures in proxy.h