#include <unistd.h>
#include <stdio.h>

int main() {
    char buf[512];
    int v = 1234 + 3;
    snprintf(buf, sizeof(buf), "Hello %d\n", v);
    return 0;
}