Currently we only print it in debugging output, but we might use it in future. It costs nothing to get it as it is already collected for Windows guests (and is empty for other guests).
Currently we only print it in debugging output, but we might use it in future. It costs nothing to get it as it is already collected for Windows guests (and is empty for other guests).