# Typecheck of type definitions, that each type is defined as a proper type
type c1 = d1;
type d1 = c1;
type a1 = c1;

type a2 = c2;
type c2 = d2;
type d2 = c2;

var v1: a1;
var y1: c1;

var v2: a2;
var y2: c2;

write 3;

