Pre: variable declaration