/tests/specs/run/top_level_await_loop/top_level_await/tla2/