Hack to output wasteful intermediate format.