add a test for double free detection