why3 file line number rewrite (to be used with vscode or other ide)

why3.rb

#!/usr/bin/env ruby

def rewrite(rd, wr)
    rd.each do |line|
        line = line.gsub /File "(.*)", line (\d+), characters (\d+)-(\d+):/, 'File \1:\2:\3 to \4'
        wr.puts line
        # wr.flush
    end
end

if $0 == __FILE__    
    out_rd, out_wr = IO.pipe
    err_rd, err_wr = IO.pipe
    
    pid = spawn("why3", *ARGV, :out => out_wr, :err => err_wr)
    
    thr_out_rewrite = Thread.new { rewrite(out_rd, STDOUT) }
    thr_err_rewrite = Thread.new { rewrite(err_rd, STDERR) }
    
    Process.wait pid
    thr_out_rewrite.kill
    thr_err_rewrite.kill
    out_rd.close
    out_wr.close
    err_rd.close
    err_wr.close
end