v3: update printf main