Simple printf in python