typ id = ^^^^^^^^^^^^^^void typ id2 = [1][2][4]bool var id3 : (a:[1][2][4]bool, b: ^^^^^^^^^^^^^^void, c: randomid, d : int, e : bool, f : char, g : { h : ^^int, i: void} )