PEEK_RACE_SIZE
char buf[PEEK_RACE_SIZE];
ATF_REQUIRE_EQ(PEEK_RACE_SIZE,
char buf[PEEK_RACE_SIZE * 10];
ATF_REQUIRE(rcvd == PEEK_RACE_SIZE);