finally a spec for populate_memory