Loops over all varIds should start at 1.