
mem_model.c