Symbol: rtase_int_vector