The examples conform to a new API of Aivika.