(* Scripting buffer for theory B *)

val a = ();
val it = ();