#include <stdio.h>

int main(void) {
    int x = 0;

    printf("Input integer: x = ");
    scanf("%d", &x);

    printf("Result: x + 13 = %d\n", x + 13);

    return 0;
}