[Dagaz] Examples