#include<stdio.h>
#include<stdarg.h>
#include <goblint.h>

int kala (int x, ...) {
  return x;
}

int main () {
  int i = 0;
  i = kala(3);
  __goblint_check(i==3);

  i = kala(2, 5);
  __goblint_check(i==2);

  return 0;
}
