use # in printf