printf("%d ", 123); printf("%d\n", 456);