1#!/bin/sh 2n=`./default_file_splice_read </dev/null | wc -c` 3 4test "$n" = 0 && exit 0 5 6echo "default_file_splice_read broken: leaked $n" 7exit 1 8