Make HOC compile--untested