Examples for paths flavor generated KAT.