prog: vgprintf