compile-time specialization of sprintf