Use the memory.c library, for now