(* Scripting buffer for theory D *)

val it = ();