eval printf too