Symbol: PT_REGS_COUNT