pcu: Assign different ARFCN numbers to each PCU TRX

Change-Id: I78f5c1da9e040cd69071e9ce4c99ce5655f0c477
diff --git a/library/PCUIF_Types.ttcn b/library/PCUIF_Types.ttcn
index da50011..b50e4c5 100644
--- a/library/PCUIF_Types.ttcn
+++ b/library/PCUIF_Types.ttcn
@@ -826,10 +826,10 @@
 
 template (value) PCUIF_InfoTrxs ts_PCUIF_InfoV10Trxs_def := {
 	v10 := {
-		ts_PCUIF_InfoV10Trx, ts_PCUIF_InfoV10Trx,
-		ts_PCUIF_InfoV10Trx, ts_PCUIF_InfoV10Trx,
-		ts_PCUIF_InfoV10Trx, ts_PCUIF_InfoV10Trx,
-		ts_PCUIF_InfoV10Trx, ts_PCUIF_InfoV10Trx
+		ts_PCUIF_InfoV10Trx(arfcn := 871), ts_PCUIF_InfoV10Trx(arfcn := 872),
+		ts_PCUIF_InfoV10Trx(arfcn := 873), ts_PCUIF_InfoV10Trx(arfcn := 874),
+		ts_PCUIF_InfoV10Trx(arfcn := 875), ts_PCUIF_InfoV10Trx(arfcn := 876),
+		ts_PCUIF_InfoV10Trx(arfcn := 877), ts_PCUIF_InfoV10Trx(arfcn := 878)
 	}
 };