get_fs_byte
ATF_REQUIRE_EQ(get_fs_byte((char *)666), 123);
ATF_REQUIRE_EQ(get_fs_byte((char *)PAGE_SIZE-1), 213);
get_fs_byte((char *)PAGE_SIZE);