-void foo(int a, int b, int c) {
+void foo(int a, int b, int c, int *status) {
  printf("%d %d %d\n",a,b,c);
}

d6b1ba3e3b714b28a8cc3a3380a1721aa97e5015
-void foo(int a, int b, int c) {
+void foo(int a, int b, int c, int *status) {
  printf("%d %d %d\n",a,b,c);
}
