+external sv_yes : unit -> sv = "perl4caml_sv_yes"
+external sv_no : unit -> sv = "perl4caml_sv_no"
+
+let sv_true () = sv_of_int 1
+let sv_false () = sv_of_int 0
+
+let bool_of_sv = sv_is_true
+let sv_of_bool b = if b then sv_true () else sv_false ()
+
+type sv_t = SVt_NULL
+ | SVt_IV
+ | SVt_NV
+ | SVt_PV
+ | SVt_RV
+ | SVt_PVAV
+ | SVt_PVHV
+ | SVt_PVCV
+ | SVt_PVGV
+ | SVt_PVMG
+
+external sv_type : sv -> sv_t = "perl4caml_sv_type"
+
+let string_of_sv_t = function
+ SVt_NULL -> "SVt_NULL"
+ | SVt_IV -> "SVt_IV"
+ | SVt_NV -> "SVt_NV"
+ | SVt_PV -> "SVt_PV"
+ | SVt_RV -> "SVt_RV"
+ | SVt_PVAV -> "SVt_PVAV"
+ | SVt_PVHV -> "SVt_PVHV"
+ | SVt_PVCV -> "SVt_PVCV"
+ | SVt_PVGV -> "SVt_PVGV"
+ | SVt_PVMG -> "SVt_PVMG"
+
+external reftype : sv -> sv_t = "perl4caml_reftype"
+
+external address_of_sv : sv -> Nativeint.t = "perl4caml_address_of_sv"
+external address_of_av : av -> Nativeint.t = "perl4caml_address_of_av"
+external address_of_hv : hv -> Nativeint.t = "perl4caml_address_of_hv"
+
+external scalarref : sv -> sv = "perl4caml_scalarref"
+external arrayref : av -> sv = "perl4caml_arrayref"
+external hashref : hv -> sv = "perl4caml_hashref"
+
+external deref : sv -> sv = "perl4caml_deref"
+external deref_array : sv -> av = "perl4caml_deref_array"
+external deref_hash : sv -> hv = "perl4caml_deref_hash"
+
+external av_empty : unit -> av = "perl4caml_av_empty"
+external av_of_sv_list : sv list -> av = "perl4caml_av_of_sv_list"
+external av_push : av -> sv -> unit = "perl4caml_av_push"
+external av_pop : av -> sv = "perl4caml_av_pop"
+external av_shift : av -> sv = "perl4caml_av_shift"
+external av_unshift : av -> sv -> unit = "perl4caml_av_unshift"
+external av_length : av -> int = "perl4caml_av_length"
+external av_set : av -> int -> sv -> unit = "perl4caml_av_set"
+external av_get : av -> int -> sv = "perl4caml_av_get"
+external av_clear : av -> unit = "perl4caml_av_clear"
+external av_undef : av -> unit = "perl4caml_av_undef"
+external av_extend : av -> int -> unit = "perl4caml_av_extend"
+
+let av_map f av =
+ let list = ref [] in
+ for i = 0 to av_length av - 1 do
+ list := f (av_get av i) :: !list
+ done;
+ List.rev !list
+
+let list_of_av av =
+ let list = ref [] in
+ for i = 0 to av_length av - 1 do
+ list := av_get av i :: !list
+ done;
+ List.rev !list
+
+let av_of_string_list strs =
+ av_of_sv_list (List.map sv_of_string strs)
+
+external hv_empty : unit -> hv = "perl4caml_hv_empty"
+external hv_set : hv -> string -> sv -> unit = "perl4caml_hv_set"
+external hv_get : hv -> string -> sv = "perl4caml_hv_get"
+external hv_exists : hv -> string -> bool = "perl4caml_hv_exists"
+external hv_delete : hv -> string -> unit = "perl4caml_hv_delete"
+external hv_clear : hv -> unit = "perl4caml_hv_clear"
+external hv_undef : hv -> unit = "perl4caml_hv_undef"
+
+type he
+external hv_iterinit : hv -> Int32.t = "perl4caml_hv_iterinit"
+external hv_iternext : hv -> he = "perl4caml_hv_iternext"
+external hv_iterkey : he -> string = "perl4caml_hv_iterkey"
+external hv_iterval : hv -> he -> sv = "perl4caml_hv_iterval"
+external hv_iternextsv : hv -> string * sv = "perl4caml_hv_iternextsv"