Store.cpp: First iteration with respect to Store.h