code-walking without caveats