getIntVec(9, @oldInt);  
  setIntVec(9, @newInt); 
  keep(0);