debugging get_vm_property