Added stdio header