Verify result in example program. Also, don't leak a package.