source: CIVL/mods/dev.civl.abc/examples/prune/structs1_pruned.c

struct tm;
char* asctime(struct tm* timeptr);
struct tm{ int x; };
int main() {
  asctime((struct tm*)0);
  return 0;
}