This is `Fprintf` though, which requires a format string and doesn't do any automatic delimiting. If we switched to `Fprint`, it would add spaces between arguments, which is not a safe delimiter (labels may contain spaces).