simulator: test case for lazy pointer