simple double-free check is working. successfully checked first simple examples.