source: CIVL/examples/xsbench/src/civl_extras.cvl

#include <stdio.h>

int fputs(const char * restrict s,
          FILE * restrict stream) {
  return 0;
}

long atol(const char *nptr) {
  $abstract long _atol(const char * ptr);
  
  return _atol(nptr);
}

void qsort(void *base, size_t nmemb, size_t size,
           int (*compar)(const void *, const void *)) {
}

int strcasecmp(const char *, const char *) {
  return 1;
}