Added small c snippet for stdio.h