//@ ensures \result == - A:1;
extern int foo(void);