cout -> printf