A copy of stdio.h