ref: dbf7cbed8645e65df5bba0c83b566e2bd96e63b6 dir: /bugs-fixed/decr-NF.bad/
6 a b c d e f 5 a b c d e f 6