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