Test: Main memory is by default empty.