procedure p; type k1 = word; begin end; type k2 = word; begin end.