Can you build this without String.format, perhaps by appending the prologue first?