PUSH              116 maint/gnulib/lib/qsort.c       PUSH (NULL, NULL);
PUSH              194 maint/gnulib/lib/qsort.c               PUSH (lo, right_ptr);
PUSH              200 maint/gnulib/lib/qsort.c               PUSH (left_ptr, hi);