Add details on void pointers and dereferenceable pointers.