/* This is illegal, since there are two types with the same name    in the same (consecutive) batch of mutually recursive types.     See also test47  */let	type a = int	type a = stringin	0end