type enum1 = ( v1 = 1, v2 = v1 ); begin assert(v2 = v1); end.