1
2
3

include
  Func_intf.Make_extern_func (Concolic_value) (Concolic_choice)
    (Concolic_memory)