test-case(
  send "load #8",
  send "verbose",
  send "verify tb.sol_lua_eval"
)