Consistently use 'Ptr a' for 'void*' which are not opaque.