Rammerhead Proxy Code Generator