fn f() { S::<-1> }