BUG: leak checking failed