include stdio.h for fprintf