@import java.util.List @args (List a, int i) @with? (b = a.get(i)) { @b } else { in-with-else-block }