User: const_cast