9.22: update printf