store.h: added some notations.