Updated memory model, updating traps.