Compact print in `stratify.bin.js`.