export xml from virtual machine created with virtualbox - debian buster

Hello,
I'm trying to configure VirtualDomain to start a virtual machine created with VirtualBox 5.2, so far without success.
Could you tell me which command to use to export the xml of this machine to use with libvirt's vbox driver?
I did some research but found nothing.

Thanks,

Start with the VirtualBox 5.2 and libvirt vbox driver documentation mentioned in the issue. Determine whether a supported XML export command exists for the Debian Buster setup; done means providing that command or clearly documenting that the requested workflow is unsupported.

Written by the indexing model from the issue text.