stdio.h duplication