// S : tags   error min  $TAGS
// S : expect --result error --location-comment ERROR
// S : cc     -o test.bc  $CC_OPT $file
// S : verify --stdin $dir/stdin.bin -o nofail:malloc $V_OPT test.bc

#include <assert.h>
#include <unistd.h>

int main()
{
    char buf[4];
    char want[] = { 0xde, 0xad, 0xbe, 0xef };
    assert( read( 0, &buf, 4 ) == 4 );
    assert( !memcmp( buf, want, 4 ) );
    assert( read( 0, &buf, 4 ) == 1 ); /* ERROR */
}