Use single printf