#include <goblint.h>

/**
 * foo /might/ call the argument function
 */
extern void foo(void (*)(void));

int glob;

void reset_glob(void)
{
  int n;
  glob = n;
}

int main()
{
  glob = 0;
  foo(reset_glob);
  __goblint_check(glob == 0); // UNKNOWN
  return 0;
}
