intwrite.c
intwrite.c — C source code, 282 bytes
File contents
#include <stdio.h> #include <stdlib.h> FILE * fp ; extern void _final_() { fclose(fp) ; } extern void _init_() { fp = fopen("log", "w") ; atexit(_final_) ; } extern void _probe_(int line, char *var, int val) { fprintf(fp, "Line %d: Variable %s <- %d\n", line, var, val) ; }