example 3 : vehicle control test