fix up file reading, increment/decrement, vector implementation