(* Scripting buffer for theory C *)

val c = 5;