Исправление wandrien, 22.11.23 00:57 (текущая версия) :
Нет гарантий, что q0 + qlen не даст переполнения.
q0 + qlen
Исходная версия wandrien, 22.11.23 00:55:
Нет гарантий, что q0 + qlen =< SIZE_MAX.
q0 + qlen =< SIZE_MAX