semantic: After converting away from const, insert cast.