+ CAMLreturn (Val_sv (newSVpv (String_val (strv), caml_string_length (strv))));
+}
+
+CAMLprim value
+perl4caml_sv_is_true (value svv)
+{
+ CAMLparam1 (svv);
+ SV *sv = Sv_val (svv);
+ CAMLreturn (SvTRUE (sv) ? Val_true : Val_false);
+}
+
+CAMLprim value
+perl4caml_sv_undef (value unit)
+{
+ CAMLparam1 (unit);
+ /*CAMLreturn (Val_sv (newSV (0)));*/
+ CAMLreturn (Val_sv (&PL_sv_undef));
+}
+
+CAMLprim value
+perl4caml_sv_is_undef (value svv)
+{
+ CAMLparam1 (svv);
+ SV *sv = Sv_val (svv);
+ CAMLreturn (!SvPOK (sv) && !SvIOK (sv) && SvTYPE (sv) == SVt_NULL
+ ? Val_true : Val_false);
+}
+
+CAMLprim value
+perl4caml_sv_yes (value unit)
+{
+ CAMLparam1 (unit);
+ CAMLreturn (Val_sv (&PL_sv_yes));
+}
+
+CAMLprim value
+perl4caml_sv_no (value unit)
+{
+ CAMLparam1 (unit);
+ CAMLreturn (Val_sv (&PL_sv_no));
+}
+
+static int
+sv_type (SV *sv)
+{
+ switch (SvTYPE (sv))
+ {
+ case SVt_IV: return 1;
+ case SVt_NV: return 2;
+ case SVt_PV: return 3;
+ case SVt_RV: return 4;
+ case SVt_PVAV: return 5;
+ case SVt_PVHV: return 6;
+ case SVt_PVCV: return 7;
+ case SVt_PVGV: return 8;
+ case SVt_PVMG: return 9;
+ default: return 0;
+ }
+}
+
+CAMLprim value
+perl4caml_sv_type (value svv)
+{
+ CAMLparam1 (svv);
+ SV *sv = Sv_val (svv);
+
+ CAMLreturn (Val_int (sv_type (sv)));
+}
+
+CAMLprim value
+perl4caml_address_of_sv (value svv)
+{
+ CAMLparam1 (svv);
+ SV *sv = Sv_val (svv);
+ CAMLreturn (caml_copy_nativeint ((long) sv));
+}
+
+CAMLprim value
+perl4caml_address_of_av (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ CAMLreturn (caml_copy_nativeint ((long) av));
+}
+
+CAMLprim value
+perl4caml_address_of_hv (value hvv)
+{
+ CAMLparam1 (hvv);
+ HV *hv = Hv_val (hvv);
+ CAMLreturn (caml_copy_nativeint ((long) hv));
+}
+
+CAMLprim value
+perl4caml_scalarref (value svv)
+{
+ CAMLparam1 (svv);
+ CAMLlocal1 (rsvv);
+ SV *sv = Sv_val (svv);
+ rsvv = Val_sv (newRV_inc (sv));
+ CAMLreturn (rsvv);
+}
+
+CAMLprim value
+perl4caml_arrayref (value avv)
+{
+ CAMLparam1 (avv);
+ CAMLlocal1 (rsvv);
+ AV *av = Av_val (avv);
+ rsvv = Val_sv (newRV_inc ((SV *) av));
+ CAMLreturn (rsvv);
+}
+
+CAMLprim value
+perl4caml_hashref (value hvv)
+{
+ CAMLparam1 (hvv);
+ CAMLlocal1 (rsvv);
+ HV *hv = Hv_val (hvv);
+ rsvv = Val_sv (newRV_inc ((SV *) hv));
+ CAMLreturn (rsvv);
+}
+
+CAMLprim value
+perl4caml_reftype (value svv)
+{
+ CAMLparam1 (svv);
+ SV *sv = Sv_val (svv);
+
+ if (!SvROK (sv))
+ caml_invalid_argument ("reftype: SV is not a reference");
+
+ CAMLreturn (Val_int (sv_type (SvRV (sv))));
+}
+
+CAMLprim value
+perl4caml_deref (value svv)
+{
+ CAMLparam1 (svv);
+ CAMLlocal1 (rsvv);
+ SV *sv = Sv_val (svv);
+
+ if (!SvROK (sv))
+ caml_invalid_argument ("deref: SV is not a reference");
+ switch (SvTYPE (SvRV (sv))) {
+ case SVt_IV:
+ case SVt_NV:
+ case SVt_PV:
+ case SVt_RV:
+ case SVt_PVMG:
+ break;
+ default:
+ caml_invalid_argument ("deref: SV is not a reference to a scalar");
+ }
+ sv = SvRV (sv);
+ /* Increment the reference count because we're creating another
+ * value pointing at the referenced SV.
+ */
+ sv = SvREFCNT_inc (sv);
+ rsvv = Val_sv (sv);
+ CAMLreturn (rsvv);
+}
+
+CAMLprim value
+perl4caml_deref_array (value svv)
+{
+ CAMLparam1 (svv);
+ CAMLlocal1 (ravv);
+ SV *sv = Sv_val (svv);
+
+ if (!SvROK (sv))
+ caml_invalid_argument ("deref_array: SV is not a reference");
+ switch (SvTYPE (SvRV (sv))) {
+ case SVt_PVAV:
+ break;
+ default:
+ caml_invalid_argument ("deref_array: SV is not a reference to an array");
+ }
+ sv = SvRV (sv);
+ /* Increment the reference count because we're creating another
+ * value pointing at the referenced AV.
+ */
+ sv = SvREFCNT_inc (sv);
+ ravv = Val_av ((AV *) sv);
+ CAMLreturn (ravv);
+}
+
+CAMLprim value
+perl4caml_deref_hash (value svv)
+{
+ CAMLparam1 (svv);
+ CAMLlocal1 (rhvv);
+ SV *sv = Sv_val (svv);
+
+ if (!SvROK (sv))
+ caml_invalid_argument ("deref_hash: SV is not a reference");
+ switch (SvTYPE (SvRV (sv))) {
+ case SVt_PVHV:
+ break;
+ default:
+ caml_invalid_argument ("deref_hash: SV is not a reference to a hash");
+ }
+ sv = SvRV (sv);
+ /* Increment the reference count because we're creating another
+ * value pointing at the referenced HV.
+ */
+ sv = SvREFCNT_inc (sv);
+ rhvv = Val_hv ((HV *) sv);
+ CAMLreturn (rhvv);
+}
+
+CAMLprim value
+perl4caml_av_empty (value unit)
+{
+ CAMLparam1 (unit);
+ AV *av = newAV ();
+ CAMLreturn (Val_av (av));
+}
+
+/* We don't know in advance how long the list will be, which makes this
+ * a little harder.
+ */
+CAMLprim value
+perl4caml_av_of_sv_list (value svlistv)
+{
+ CAMLparam1 (svlistv);
+ CAMLlocal1 (svv);
+ SV *sv, **svlist = 0;
+ int alloc = 0, size = 0;
+ AV *av;
+
+ for (; svlistv != Val_int (0); svlistv = Field (svlistv, 1))
+ {
+ svv = Field (svlistv, 0);
+ sv = Sv_val (svv);
+ if (size >= alloc) {
+ alloc = alloc == 0 ? 1 : alloc * 2;
+ svlist = realloc (svlist, alloc * sizeof (SV *));
+ }
+ svlist[size++] = sv;
+ }
+
+ av = av_make (size, svlist);
+
+ if (alloc > 0) free (svlist); /* Free memory allocated to SV list. */
+
+ CAMLreturn (Val_av (av));
+}
+
+/* XXX av_map would be faster if we also had sv_list_of_av. */
+
+CAMLprim value
+perl4caml_av_push (value avv, value svv)
+{
+ CAMLparam2 (avv, svv);
+ AV *av = Av_val (avv);
+ SV *sv = Sv_val (svv);
+ av_push (av, sv);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_pop (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ SV *sv = av_pop (av);
+ /* Increment the reference count because we're creating another
+ * value pointing at the referenced AV.
+ */
+ sv = SvREFCNT_inc (sv);
+ CAMLreturn (Val_sv (sv));
+}
+
+CAMLprim value
+perl4caml_av_unshift (value avv, value svv)
+{
+ CAMLparam2 (avv, svv);
+ AV *av = Av_val (avv);
+ SV *sv = Sv_val (svv);
+ av_unshift (av, 1);
+ SvREFCNT_inc (sv);
+ if (av_store (av, 0, sv) == 0)
+ SvREFCNT_dec (sv);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_shift (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ SV *sv = av_shift (av);
+ /* Increment the reference count because we're creating another
+ * value pointing at the referenced AV.
+ */
+ sv = SvREFCNT_inc (sv);
+ CAMLreturn (Val_sv (sv));
+}
+
+CAMLprim value
+perl4caml_av_length (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ CAMLreturn (Val_int (av_len (av) + 1));
+}
+
+CAMLprim value
+perl4caml_av_set (value avv, value i, value svv)
+{
+ CAMLparam3 (avv, i, svv);
+ AV *av = Av_val (avv);
+ SV *sv = Sv_val (svv);
+ SvREFCNT_inc (sv);
+ if (av_store (av, Int_val (i), sv) == 0)
+ SvREFCNT_dec (sv);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_get (value avv, value i)
+{
+ CAMLparam2 (avv, i);
+ AV *av = Av_val (avv);
+ SV **svp = av_fetch (av, Int_val (i), 0);
+ if (svp == 0) caml_invalid_argument ("av_get: index out of bounds");
+ /* Increment the reference count because we're creating another
+ * value pointing at the referenced AV.
+ */
+ *svp = SvREFCNT_inc (*svp);
+ CAMLreturn (Val_sv (*svp));
+}
+
+CAMLprim value
+perl4caml_av_clear (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ av_clear (av);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_undef (value avv)
+{
+ CAMLparam1 (avv);
+ AV *av = Av_val (avv);
+ av_undef (av);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_av_extend (value avv, value i)
+{
+ CAMLparam2 (avv, i);
+ AV *av = Av_val (avv);
+ av_extend (av, Int_val (i));
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_hv_empty (value unit)
+{
+ CAMLparam1 (unit);
+ HV *hv = newHV ();
+ CAMLreturn (Val_hv (hv));
+}
+
+CAMLprim value
+perl4caml_hv_set (value hvv, value key, value svv)
+{
+ CAMLparam3 (hvv, key, svv);
+ HV *hv = Hv_val (hvv);
+ SV *sv = Sv_val (svv);
+ SvREFCNT_inc (sv);
+ if (hv_store (hv, String_val (key), caml_string_length (key), sv, 0) == 0)
+ SvREFCNT_dec (sv);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_hv_get (value hvv, value key)
+{
+ CAMLparam2 (hvv, key);
+ HV *hv = Hv_val (hvv);
+ SV **svp = hv_fetch (hv, String_val (key), caml_string_length (key), 0);
+ if (svp == 0) caml_raise_not_found ();
+ /* Increment the reference count because we're creating another
+ * value pointing at the referenced SV.
+ */
+ SvREFCNT_inc (*svp);
+ CAMLreturn (Val_sv (*svp));
+}
+
+CAMLprim value
+perl4caml_hv_exists (value hvv, value key)
+{
+ CAMLparam2 (hvv, key);
+ HV *hv = Hv_val (hvv);
+ bool r = hv_exists (hv, String_val (key), caml_string_length (key));
+ CAMLreturn (r ? Val_true : Val_false);
+}
+
+CAMLprim value
+perl4caml_hv_delete (value hvv, value key)
+{
+ CAMLparam2 (hvv, key);
+ HV *hv = Hv_val (hvv);
+ hv_delete (hv, String_val (key), caml_string_length (key), G_DISCARD);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_hv_clear (value hvv)
+{
+ CAMLparam1 (hvv);
+ HV *hv = Hv_val (hvv);
+ hv_clear (hv);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_hv_undef (value hvv)
+{
+ CAMLparam1 (hvv);
+ HV *hv = Hv_val (hvv);
+ hv_undef (hv);
+ CAMLreturn (Val_unit);
+}
+
+CAMLprim value
+perl4caml_hv_iterinit (value hvv)
+{
+ CAMLparam1 (hvv);
+ HV *hv = Hv_val (hvv);
+ int i = hv_iterinit (hv);
+ CAMLreturn (caml_copy_int32 (i));
+}
+
+CAMLprim value
+perl4caml_hv_iternext (value hvv)
+{
+ CAMLparam1 (hvv);
+ CAMLlocal1 (hev);
+ HV *hv = Hv_val (hvv);
+ HE *he = hv_iternext (hv);
+ if (he == NULL) caml_raise_not_found ();
+ hev = Val_he (he);
+ CAMLreturn (hev);
+}
+
+CAMLprim value
+perl4caml_hv_iterkey (value hev)
+{
+ CAMLparam1 (hev);
+ CAMLlocal1 (strv);
+ HE *he = He_val (hev);
+ I32 len;
+ char *str = hv_iterkey (he, &len);
+ strv = caml_alloc_string (len);
+ memcpy (String_val (strv), str, len);
+ CAMLreturn (strv);
+}
+
+CAMLprim value
+perl4caml_hv_iterval (value hvv, value hev)
+{
+ CAMLparam2 (hvv, hev);
+ CAMLlocal1 (svv);
+ HV *hv = Hv_val (hvv);
+ HE *he = He_val (hev);
+ SV *sv = hv_iterval (hv, he);
+ SvREFCNT_inc (sv);
+ svv = Val_sv (sv);
+ CAMLreturn (svv);
+}
+
+CAMLprim value
+perl4caml_hv_iternextsv (value hvv)
+{
+ CAMLparam1 (hvv);
+ CAMLlocal3 (strv, svv, rv);
+ HV *hv = Hv_val (hvv);
+ char *str; I32 len;
+ SV *sv = hv_iternextsv (hv, &str, &len);
+ if (sv == NULL) caml_raise_not_found ();
+ SvREFCNT_inc (sv);
+ svv = Val_sv (sv);
+ strv = caml_alloc_string (len);
+ memcpy (String_val (strv), str, len);
+ /* Construct a tuple (strv, svv). */
+ rv = caml_alloc_tuple (2);
+ Field (rv, 0) = strv;
+ Field (rv, 1) = svv;
+ CAMLreturn (rv);