Put {} in HashVecInt (possible misunderstand)