// ciklicne definicije
typ a = b
typ b = d
typ c = a
typ d = a