// re2c $INPUT -o $OUTPUT -if
/*!re2c
    re2c:state:abort = 1;
    "" {}
*/