Include stdio.h for fprintf.