examples/test2: fix printf format