Symbol: vuid_get_int_bit