intial debugging for memory model