awk/bugs-fixed/rs_underflow.in