Symbol: sh_cmt_get_counter