async function f() {
  for (await using basic = reader(); ; );
}