Implement store and load (with testcase)