add two examples and MemCheck