//@ allocates a;
//  frees a;
void foo(int *a);