//@ requires prop1: i > 0;
extern void foo(int i);