void printfd(int v) {
    printf("%d\n", v);
}