casting from and to const