Need stdio in the header