+let t_items1 st c t =
+ [Warn st; Term (c, t)]
+
+let ct_items1 sc c st t =
+ [Warn sc; Context c; Warn st; Term (c, t)]
+
+let ct_items2 sc c st1 t1 st2 t2 =
+ ct_items1 sc c st1 t1 @ [Warn st2; Term (c, t2)]
+
+let ct_items3 sc c st1 t1 st2 t2 st3 t3 =
+ ct_items2 sc c st1 t1 st2 t2 @ [Warn st3; Term (c, t3)]