(* Test slot 3 extraction to compare with C *)

open Nock_lib

let () =
  Printf.printf "Loading ivory.pill...\n%!";
  Eio_main.run (fun env ->
    let fs = Eio.Stdenv.fs env in
    let pill_bytes = Eio.Path.(load (fs / "ivory.pill")) |> Bytes.of_string in

    Printf.printf "Cuing...\n%!";
    let pill = Serial.cue pill_bytes in
    let pill_mug = Noun.mug pill in
    Printf.printf "Pill mug: 0x%08lx\n%!" pill_mug;

    (* Extract core (tail of pill) *)
    let core = Noun.tail pill in
    let core_mug = Noun.mug core in
    Printf.printf "Core mug: 0x%08lx\n%!" core_mug;

    (* Extract slot 2 (head) *)
    let slot2 = Noun.slot (Z.of_int 2) core in
    let slot2_mug = Noun.mug slot2 in
    Printf.printf "Slot 2 (head) mug: 0x%08lx\n%!" slot2_mug;

    (* Extract slot 3 (tail) *)
    let slot3 = Noun.slot (Z.of_int 3) core in
    let slot3_mug = Noun.mug slot3 in
    Printf.printf "Slot 3 (tail) mug: 0x%08lx\n%!" slot3_mug;
  )