missing stdio for write