Still inconsistent, but compilable code