add get_vennd_machine method