(* Scripting buffer for theory C *)

val it = ();