stdio.h is included in the proper place.