Cast to int for printf, the yy_size (or so) is actually unsigned int64 under
x86_64 architecture, thus cast it (to avoid annoying compiling warnings)
re-organize the colored output.