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