sprog: check decoder steps <= 127