Added some C standard headers