#include <stdio.h> in some files