Cosc 030 Loop Invariant Example Jeremy Bolton