Code compiles after rewrite.