Just print the result on stdout