I noticed that 4.02 now has the no-naked-pointers option. I'd like to better understand when I shouldn't use it -- i.e. what kinds of operations create naked pointers? I suppose that these pointers can only be generated by C code; an example of when their use may arise would be nice :)