If printf is not possible, who says puts is?