Symbol: sh_cmt_read32