Loop Invariant Practice Problems