./locksmith /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c


--------------------------------------------------------------------------------


gcc -D_GNUCC -E -DCIL=1 /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c -o /tmp/cil-UaFnzsjQ.i
./cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-e9fXixXa.cil.c /tmp/cil-UaFnzsjQ.i

************************* STARTING *************************

functions declared and used but not defined:
  __builtin_expect
  __builtin_va_end
  fclose
  fflush
  fopen
  fseek
  ftell
  fwrite
  getpid
  localtime_r
  memchr
  printf
  pthread_attr_destroy
  pthread_attr_init
  pthread_attr_setschedparam
  pthread_attr_setschedpolicy
  pthread_attr_setstacksize
  pthread_join
  pthread_self
  remove
  rename
  sched_get_priority_max
  sem_destroy
  semctl
  semget
  semop
  setbuf
  sleep
  snprintf
  strftime
  strlen
  strstr
  time
  usleep
  vsnprintf
