halo2-dag-vehicles