printf ("%s: %d\n", "test", 1)
