1#!/bin/bash
2
3if [[ -z "$AWK" ]]; then
4    printf '$AWK must be set\n' >&2
5    exit 1
6fi
7
8$AWK 'BEGIN { for (i = 1; i <= 128*64+1; i++) print "abcdefgh123456\n" }' 2>&1 | \
9    $AWK 'BEGIN { RS = ""; ORS = "\n\n" }; { print }' 2>&1 | \
10    $AWK '/^[^a]/; END{ print NR }'
11