And seems-like vs -ldebug proof is good too