How autonomous vehicles are to be programmed