+let count_exec_code slot slot1 slot2 t dst code =
+ EXEC_CODE_BODY_TEMPLATE(NodeSet.Count)
+
+
+let count_exec slot slot1 slot2 t code =
+ let rec exec slot slot1 slot2 t code =
+ EXEC_REC_TEMPLATE(count_exec_code)
+ in
+ exec slot slot1 slot2 t code
+
+let mat_exec_code slot slot1 slot2 t dst code =
+ EXEC_CODE_BODY_TEMPLATE(NodeSet.Mat)
+
+
+let mat_exec slot slot1 slot2 t code =
+ let rec exec slot slot1 slot2 t code =
+ EXEC_REC_TEMPLATE(mat_exec_code)
+ in
+ exec slot slot1 slot2 t code
+