Add o.proxy, fixes #11.