:load T12520
box (wrap "foo" (proxy ()))