(* Scripting buffer for theory C *)

val c1 = 4;
val c = 5;