(* Save this file as 'dynlink_value.ml' *) let value = ref "none"