Symbol: PF_WANT_32_TO_64_COUNTER