open Interp ;;

let eval_external name v = v ;;