Symbol: extract_uint