Invalid Code

void foo (int i) ensures (i) {
}

void main () {
}