Symbol: cpts_read32