GSM_Types: Fix RSL Chanenl number encoding; Add OSMO_PDCH extension
diff --git a/library/GSM_Types.ttcn b/library/GSM_Types.ttcn
index 811623a..6086092 100644
--- a/library/GSM_Types.ttcn
+++ b/library/GSM_Types.ttcn
@@ -33,11 +33,12 @@
 
 	/* TS 48.058 9.3.1 Channel Number IE */
 	type enumerated RslChanNr0 {
-		RSL_CHAN_NR_INVALID	('00'H),
-		RSL_CHAN_NR_Bm_ACCH	('01'H),
-		RSL_CHAN_NR_BCCH	('10'H),
-		RSL_CHAN_NR_RACH	('11'H),
-		RSL_CHAN_NR_PCH_AGCH	('12'H)
+		RSL_CHAN_NR_INVALID	('00000'B),
+		RSL_CHAN_NR_Bm_ACCH	('00001'B),
+		RSL_CHAN_NR_BCCH	('10000'B),
+		RSL_CHAN_NR_RACH	('10001'B),
+		RSL_CHAN_NR_PCH_AGCH	('10010'B),
+		RSL_CHAN_NR_OSMO_PDCH	('11000'B)
 	} with { variant "FIELDLENGTH(5)" variant "FIELDORDER(msb)" };
 
 	type record RslChanNr2 {