pointer.h: Avoid unused parameter warning.