@0,1⦊async fn f() -> u8 ⦉@0,1{ 1 }