test_cell_val64
write_test_cell(&cell, test_cell_val64);
ATF_REQUIRE(read_test_cell(&cell) == test_cell_val64);
write_test_cell(&cell, test_cell_val64);
ATF_REQUIRE(read_test_cell(&cell) == test_cell_val64);