ensure push! index is non-negative, fixing RPython compile error