(* Scripting buffer for theory B *)

val b = 0;
val b1 = 1;