First MemCheck Implementation