tvl-depot/tests/lang/eval-okay-patterns.exp