#include <assert.h>

int alpha1(int a) {
  return a+1;
}

int beta1(int b) {
  int bb = alpha1(b);
  assert(bb == b);
}