Improve args to VXID_Get()