Add stdio header