Symbol: debug_get_uint