FAIL: unbalanced; alloc=2 dealloc=1
