Personal tools

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) ;
}
Document Actions