increase allocated size of positions array 2
increase allocated size of positions array 2


Former-commit-id: f099dacd55173416e9d76122c7411627ea106345
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle