TESTSTR2SZ
ATF_REQUIRE_EQ(rump_sys_write(tfd, TESTSTR2, TESTSTR2SZ), TESTSTR2SZ);
ATF_REQUIRE(TESTSTR1SZ <= TESTSTR2SZ);