Should be compilable.