[++] prepairStack fn
[dist] assert.avoid