`python tests/runner.py test_cases test_lua` should test those