exec: use accessor function to know if memory is dirty