ref: 14c3fe42d2a93be3a4ceb1946f8bb7fcaf75ac4d dir: /bugs-fixed/rs_underflow.awk/
BEGIN { RS="zx" } { print $1 }