fun id ( id : idt ) : (a:[1][2][4][12]void) = ide, 1, true, false, 'a', "niz", "niz spet", none, nil