/tests/testdata/run/top_level_await/tla3/