exporting VMProperties for Go vet