Documented leakcheck