Beautified probe-output and silenced compiler warnings on format strings