update printf()