The format strings are absent in these stdout prints. They can safely be replaced with calls to _puts()_ and shave also the newlines.