async function foo(): Awaitable<void> {
    echo(5);
}