@0,1⦊async fn m(x: u8) -> u8 ⦉@0,1{ x - 1 }