Explicitly include <stdio.h>