Either way works, but I wished to make it clear that what matters with pointer conversions is what is pointed to, not the pointer itself.