Use POINTER_TYPE.