typedef names change to IntVector