#include <stdio.h>
int main(void) {
int total;
int cats;
int dogs;
int ponies;
int others;
cats = 4;
dogs = 3;
ponies = 5;
others = 6;
total = cats + dogs + ponies + others;
printf(We have %d pets in total\n, total); // Output the result
return 0;
}