try_read
goto try_read;
try_read:
ATF_REQUIRE(try_read(addr64, &val));
ATF_REQUIRE(try_read(addr64, &val));
ATF_REQUIRE(!try_read(addr64, &val));
ATF_REQUIRE(!try_read((volatile uint64_t *)(void *)addr, &val));