int fprintf(void* stream, char* format, ...);
int fscanf(void* stream, char* format, ...);
int sprintf(char* str, char* format, ...);

extern void* stdin;
extern void* stdout;

int main() {
    char buffer[4096];
    int a;
    int b;
    fscanf(stdin, "%d %d", &a, &b);
    sprintf(buffer, "The sum of %d and %d is %d\n", a, b, a + b);
    fprintf(stdout, buffer);
    return 0;
}