diff --git a/library/Osmocom_Types.ttcn b/library/Osmocom_Types.ttcn
index e36d2dc..d01fe37 100644
--- a/library/Osmocom_Types.ttcn
+++ b/library/Osmocom_Types.ttcn
@@ -126,5 +126,14 @@
 	T.start;
 }
 
+/* divide two integers and return rounded-up result */
+function f_div_round_up(integer dividend, integer divisor) return integer {
+	var integer x := dividend / divisor;
+	if (dividend rem divisor != 0) {
+		x := x+1;
+	}
+	return x;
+}
+
 
 } with { encode "RAW"; variant "FIELDORDER(msb)" }