{"header":{"message":"eval-vm: Rust host embedding a sandboxed OCaml bytecode VM (increments 1-2) — curated prim table (no IO), async host prims bridged into Lwt (Lwt.all overlaps); crates ocaml-vm-sys/-build/-vm + demo","description":null,"timestamp":"2026-08-04T21:23:23.352978274Z","authors":[{}]},"hash":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC","authors":[{"login":"pmeunier","key":"AAAAC3NzaC1lZDI1NTE5AAAAILagOJFgwaMNhBWQINinKOXmqS4Gh5NgxgriXwdOoINJ"}],"deps":{"hashes":[["7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC","eval-vm: Rust host embedding a sandboxed OCaml bytecode VM (increments 1-2) — curated prim table (no IO), async host prims bridged into Lwt (Lwt.all overlaps); crates ocaml-vm-sys/-build/-vm + demo"],["AA",null],["Z25PX6G2IWB33LRVCEI2NQ5WRGQN7RYEPSQRHKKABSO4JX3P2KPAC",""],["UWQB743KR36X6A6JVNK3VH6KMEFUHOUT6ZS2Y2SWIJR55JSF5WQAC","First working shell (with ocaml code)"],["D2BDVT6VPEEKGIH5R6WXIIWBVDBDLAXEJQK4GTXA7UYHG2W375OAC","Compiling with older versions of Rust, when `pipe()` wasn't yet part of stdlib."],["M3QHDB5R3JN7WDWAS2ZH5QP44TZ4DROYRUJFZ5Z7XP5OLC5MI24QC","seed & build: Nix-free bootstrap scripts, examples, workspace build scaffolding (flake/default/shell.nix, Cargo.*), .ignore hygiene, design notes"],["7Q4257EPUSDGELWJYF23GKUXGJGOB2QJGPKN3JS3C272IEX6EQ2QC","Formatting, cleanup and Rust 2021 compatibility"],["ODUDDQRY373JMDR6W2BHUWSKEU6TEICQMNZIAIFKJPNUA5UN3C4QC","Adding the OCaml interface"],["LMUKDJXFB7LWQV2JOHJMDDSLVDFB3IJEITVQTQE2J2MPB75F47SQC","fix all compiler warnings: unused vars/opens (Rust + OCaml), unnecessary unsafe, elided-lifetime hints, licence->license manifest key, declare dune pre/post_build/install virtual methods"],["JREIRPI46TOFXEEJ56FSFRWQU2XOU7PCOYUV6Y3FAV52BMPGOKOAC","Fixing a compilation issue"],["LUIHJ5K2Y7KVSURHR4SVQ56EA3XI7U7LW5JWE4J4UWQLGSWE6FWAC","Licences"]],"deps":["Z25PX6G2IWB33LRVCEI2NQ5WRGQN7RYEPSQRHKKABSO4JX3P2KPAC","UWQB743KR36X6A6JVNK3VH6KMEFUHOUT6ZS2Y2SWIJR55JSF5WQAC","D2BDVT6VPEEKGIH5R6WXIIWBVDBDLAXEJQK4GTXA7UYHG2W375OAC","M3QHDB5R3JN7WDWAS2ZH5QP44TZ4DROYRUJFZ5Z7XP5OLC5MI24QC"],"known":["ODUDDQRY373JMDR6W2BHUWSKEU6TEICQMNZIAIFKJPNUA5UN3C4QC","7Q4257EPUSDGELWJYF23GKUXGJGOB2QJGPKN3JS3C272IEX6EQ2QC","JREIRPI46TOFXEEJ56FSFRWQU2XOU7PCOYUV6Y3FAV52BMPGOKOAC","LUIHJ5K2Y7KVSURHR4SVQ56EA3XI7U7LW5JWE4J4UWQLGSWE6FWAC","LMUKDJXFB7LWQV2JOHJMDDSLVDFB3IJEITVQTQE2J2MPB75F47SQC"]},"hunks":[{"Replacement":{"inode":{"change":3,"pos":71016},"path":"Cargo.toml","line":11,"ins":{"up_context":[{"change":3,"pos":71122}],"down_context":[{"change":4,"pos":464}],"flag":"BLOCK","start":0,"end":405,"inode":{"change":3,"pos":71016}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":71122},"to":{"change":5,"start":177208,"end":177265},"introduced_by":5}],"inode":{"change":3,"pos":71016}},"ins_contents":[{"Add":{"text":"members = [","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11"}},{"Add":{"text":" \"elfedit\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26"}},{"Add":{"text":" \"mccs\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:38"}},{"Add":{"text":" \"machoedit\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:55"}},{"Add":{"text":" \"elpe-sched\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:73"}},{"Add":{"text":" # Embedded, sandboxed OCaml bytecode eval VM (Rust host). See eval-vm/ and","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:152"}},{"Add":{"text":" # elpe/eval-vm.md. ocaml-vm-sys links libcamlrun, so building these needs the","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:234"}},{"Add":{"text":" # OCaml toolchain on PATH (already required by the frontend).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:300"}},{"Add":{"text":" \"eval-vm/ocaml-vm-sys\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:328"}},{"Add":{"text":" \"eval-vm/ocaml-vm-build\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:358"}},{"Add":{"text":" \"eval-vm/ocaml-vm\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:382"}},{"Add":{"text":" \"eval-vm/demo\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:402"}},{"Add":{"text":"]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:404"}}],"del_contents":[{"Del":{"text":"members = [\"elfedit\", \"mccs\", \"machoedit\", \"elpe-sched\"]","pos":"M3QHDB5R3JN7WDWAS2ZH5QP44TZ4DROYRUJFZ5Z7XP5OLC5MI24QC:177264"}}]}},{"FileAdd":{"meta":{"basename":"eval-vm","metadata":576},"context":[{"change":2,"pos":1}],"contents":[]}},{"FileAdd":{"meta":{"basename":"ocaml-vm-sys","metadata":576},"context":[{"change":0,"pos":425}],"contents":[]}},{"FileAdd":{"meta":{"basename":"src","metadata":576},"context":[{"change":0,"pos":451}],"contents":[]}},{"FileAdd":{"meta":{"basename":"lib.rs","metadata":0},"context":[{"change":0,"pos":468}],"contents":[{"Add":{"text":"//! Raw FFI to the OCaml bytecode runtime. Unsafe leaf crate: just the entry","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:578"}},{"Add":{"text":"//! points we drive. The curated primitive table is supplied by the final","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:652"}},{"Add":{"text":"//! binary (see `ocaml-vm-build`), not here.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:697"}},{"Add":{"text":"use std::os::raw::c_char;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:723"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:724"}},{"Add":{"text":"extern \"C\" {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:737"}},{"Add":{"text":" /// Runtime entry point, as `ocamlrun` uses it: `argv[0]` = program name,","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:815"}},{"Add":{"text":" /// `argv[1]` = the bytecode file, NULL-terminated. Loads the bytecode,","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:891"}},{"Add":{"text":" /// resolves its primitives against the host-provided table, runs it.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:965"}},{"Add":{"text":" pub fn caml_main(argv: *const *const c_char);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1015"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1017"}}]}},{"FileAdd":{"meta":{"basename":"build.rs","metadata":0},"context":[{"change":0,"pos":451}],"contents":[{"Add":{"text":"// Link the OCaml bytecode runtime (libcamlrun.a) into the final binary.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1125"}},{"Add":{"text":"// The primitive table (caml_builtin_cprim / caml_names_of_builtin_cprim) is","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1202"}},{"Add":{"text":"// left undefined here on purpose — the embedding binary supplies a *curated*","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1282"}},{"Add":{"text":"// one (see ocaml-vm-build). That's the whole sandbox lever.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1343"}},{"Add":{"text":"use std::process::Command;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1370"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1371"}},{"Add":{"text":"fn main() {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1383"}},{"Add":{"text":" let libdir = Command::new(\"ocamlc\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1423"}},{"Add":{"text":" .arg(\"-where\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1446"}},{"Add":{"text":" .output()","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1464"}},{"Add":{"text":" .ok()","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1478"}},{"Add":{"text":" .and_then(|o| String::from_utf8(o.stdout).ok())","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1534"}},{"Add":{"text":" .map(|s| s.trim().to_string())","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1573"}},{"Add":{"text":" .expect(\"could not run `ocamlc -where`\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1623"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1624"}},{"Add":{"text":" println!(\"cargo:rustc-link-search=native={libdir}\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1681"}},{"Add":{"text":" println!(\"cargo:rustc-link-lib=static=camlrun\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1734"}},{"Add":{"text":" for lib in [\"pthread\", \"m\", \"dl\", \"rt\"] {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1780"}},{"Add":{"text":" println!(\"cargo:rustc-link-lib=dylib={lib}\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1834"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1840"}},{"Add":{"text":" // Expose the libdir to dependents that need it (they read DEP_CAMLRUN_LIBDIR).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1924"}},{"Add":{"text":" println!(\"cargo:libdir={libdir}\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:1963"}},{"Add":{"text":" println!(\"cargo:rerun-if-changed=build.rs\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2012"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2014"}}]}},{"FileAdd":{"meta":{"basename":"Cargo.toml","metadata":0},"context":[{"change":0,"pos":451}],"contents":[{"Add":{"text":"[package]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2061"}},{"Add":{"text":"name = \"ocaml-vm-sys\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2083"}},{"Add":{"text":"version = \"0.1.0\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2101"}},{"Add":{"text":"edition = \"2021\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2118"}},{"Add":{"text":"# `links` makes cargo enforce a single link of the OCaml runtime across the graph.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2201"}},{"Add":{"text":"links = \"camlrun\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2219"}},{"Add":{"text":"build = \"build.rs\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2238"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2239"}},{"Add":{"text":"[dependencies]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2254"}}]}},{"FileAdd":{"meta":{"basename":"ocaml-vm-build","metadata":576},"context":[{"change":0,"pos":425}],"contents":[]}},{"FileAdd":{"meta":{"basename":"src","metadata":576},"context":[{"change":0,"pos":2282}],"contents":[]}},{"FileAdd":{"meta":{"basename":"lib.rs","metadata":0},"context":[{"change":0,"pos":2299}],"contents":[{"Add":{"text":"//! Build-time helpers to embed a *curated* OCaml bytecode VM.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2395"}},{"Add":{"text":"//!","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2399"}},{"Add":{"text":"//! The security boundary is the primitive table: bytecode reaches C only via","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2477"}},{"Add":{"text":"//! it, so omitting/denying the IO primitives is total, portable mediation.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2553"}},{"Add":{"text":"//! This crate generates that table (C source) and links user bytecode against","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2632"}},{"Add":{"text":"//! the matching primitive set with `ocamlc -use-prims`.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2689"}},{"Add":{"text":"//!","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2693"}},{"Add":{"text":"//! The canonical primitive list is vendored from `Runtimedef.builtin_primitives`","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2775"}},{"Add":{"text":"//! (OCaml 5.4.1: 470 names). Regenerate per OCaml version with:","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2840"}},{"Add":{"text":"//! `echo 'let()=Array.iter print_endline Runtimedef.builtin_primitives' > g.ml`","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:2923"}},{"Add":{"text":"//! `ocamlfind ocamlopt -package compiler-libs.common -linkpkg g.ml -o g && ./g`","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3006"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3007"}},{"Add":{"text":"use std::fs;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3020"}},{"Add":{"text":"use std::path::{Path, PathBuf};","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3052"}},{"Add":{"text":"use std::process::Command;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3079"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3080"}},{"Add":{"text":"/// The builtin primitives our runtime knows about (vendored, ordered as OCaml","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3159"}},{"Add":{"text":"/// emits them). Note: `caml_unix_*` are absent — Unix/socket/exec live in a","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3238"}},{"Add":{"text":"/// separate library we simply never link.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3281"}},{"Add":{"text":"pub fn builtin_primitives() -> Vec<&'static str> {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3332"}},{"Add":{"text":" include_str!(\"builtin_primitives.txt\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3375"}},{"Add":{"text":" .lines()","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3392"}},{"Add":{"text":" .map(str::trim)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3416"}},{"Add":{"text":" .filter(|s| !s.is_empty())","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3451"}},{"Add":{"text":" .collect()","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3470"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3472"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3473"}},{"Add":{"text":"/// `ocamlc -where`, the OCaml library directory.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3523"}},{"Add":{"text":"pub fn ocaml_libdir() -> String {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3557"}},{"Add":{"text":" let out = Command::new(\"ocamlc\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3594"}},{"Add":{"text":" .arg(\"-where\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3617"}},{"Add":{"text":" .output()","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3635"}},{"Add":{"text":" .expect(\"run `ocamlc -where`\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3675"}},{"Add":{"text":" String::from_utf8(out.stdout).unwrap().trim().to_string()","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3737"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3739"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3740"}},{"Add":{"text":"/// Emit the curated primitive-table C source. Denied builtins point at a raising","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3822"}},{"Add":{"text":"/// stub (so calling one is a clean OCaml exception, not a crash); `host_prims`","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3902"}},{"Add":{"text":"/// are appended, their symbols resolved from the final binary.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:3966"}},{"Add":{"text":"pub fn generate_table(out_dir: &Path, denylist: &[&str], host_prims: &[&str]) -> PathBuf {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4057"}},{"Add":{"text":" let prims = builtin_primitives();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4095"}},{"Add":{"text":" let denied = |n: &str| denylist.contains(&n);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4145"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4146"}},{"Add":{"text":" let mut c = String::new();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4177"}},{"Add":{"text":" c.push_str(\"/* generated by ocaml-vm-build — curated primitive table */\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4260"}},{"Add":{"text":" c.push_str(\"#include \\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4301"}},{"Add":{"text":" c.push_str(\"typedef void *value;\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4343"}},{"Add":{"text":" c.push_str(\"typedef value (*c_primitive)(void);\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4400"}},{"Add":{"text":" c.push_str(\"extern void caml_failwith(const char *);\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4462"}},{"Add":{"text":" c.push_str(\"static value caml_prim_denied(void) {\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4521"}},{"Add":{"text":" c.push_str(\" caml_failwith(\\\"primitive denied by Elpe eval sandbox\\\");\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4602"}},{"Add":{"text":" c.push_str(\" return (value)0;\\n}\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4645"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4646"}},{"Add":{"text":" for n in prims.iter().filter(|n| !denied(n)) {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4697"}},{"Add":{"text":" c.push_str(&format!(\"extern value {n}(void);\\n\"));","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4756"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4762"}},{"Add":{"text":" for h in host_prims {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4788"}},{"Add":{"text":" c.push_str(&format!(\"extern value {h}(void);\\n\"));","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4847"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4853"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4854"}},{"Add":{"text":" c.push_str(\"const c_primitive caml_builtin_cprim[] = {\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4918"}},{"Add":{"text":" for n in &prims {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4940"}},{"Add":{"text":" if denied(n) {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:4963"}},{"Add":{"text":" c.push_str(\" caml_prim_denied,\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5012"}},{"Add":{"text":" } else {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5029"}},{"Add":{"text":" c.push_str(&format!(\" {n},\\n\"));","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5075"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5085"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5091"}},{"Add":{"text":" for h in host_prims {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5117"}},{"Add":{"text":" c.push_str(&format!(\" {h},\\n\"));","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5159"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5165"}},{"Add":{"text":" c.push_str(\" 0 };\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5193"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5194"}},{"Add":{"text":" c.push_str(\"const char *const caml_names_of_builtin_cprim[] = {\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5267"}},{"Add":{"text":" for n in prims.iter().chain(host_prims.iter()) {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5320"}},{"Add":{"text":" c.push_str(&format!(\" \\\"{n}\\\",\\n\"));","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5366"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5372"}},{"Add":{"text":" c.push_str(\" 0 };\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5400"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5401"}},{"Add":{"text":" let path = out_dir.join(\"elpe_prim_table.c\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5451"}},{"Add":{"text":" fs::write(&path, c).unwrap();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5485"}},{"Add":{"text":" path","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5494"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5496"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5497"}},{"Add":{"text":"/// Compile a C file to an object with the system compiler; return its path.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5574"}},{"Add":{"text":"pub fn compile_c(src: &Path, out_dir: &Path) -> PathBuf {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5632"}},{"Add":{"text":" let obj = out_dir.join(src.file_stem().unwrap()).with_extension(\"o\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5706"}},{"Add":{"text":" let ok = Command::new(\"clang\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5741"}},{"Add":{"text":" .args([\"-c\", \"-O2\"])","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5770"}},{"Add":{"text":" .arg(src)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5788"}},{"Add":{"text":" .arg(\"-o\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5807"}},{"Add":{"text":" .arg(&obj)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5826"}},{"Add":{"text":" .status()","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5844"}},{"Add":{"text":" .expect(\"run clang\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5873"}},{"Add":{"text":" .success();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5893"}},{"Add":{"text":" assert!(ok, \"clang failed on {src:?}\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5937"}},{"Add":{"text":" obj","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5945"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5947"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:5948"}},{"Add":{"text":"/// The name set our runtime provides = builtins + host prims. Denied names stay","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6029"}},{"Add":{"text":"/// listed (they resolve to the deny stub at load), so bytecode still links.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6106"}},{"Add":{"text":"pub fn write_use_prims(out_dir: &Path, host_prims: &[&str]) -> PathBuf {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6179"}},{"Add":{"text":" let mut list = builtin_primitives().join(\"\\n\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6231"}},{"Add":{"text":" for h in host_prims {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6257"}},{"Add":{"text":" list.push('\\n');","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6282"}},{"Add":{"text":" list.push_str(h);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6308"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6314"}},{"Add":{"text":" let path = out_dir.join(\"use-prims.list\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6361"}},{"Add":{"text":" fs::write(&path, list).unwrap();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6398"}},{"Add":{"text":" path","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6407"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6409"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6410"}},{"Add":{"text":"/// Compile an OCaml source to a plain bytecode file against our primitive set,","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6490"}},{"Add":{"text":"/// linking the given findlib `packages` (e.g. `[\"lwt\"]`). Resolution is by name","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6571"}},{"Add":{"text":"/// at load, so `-use-prims` order is irrelevant.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6621"}},{"Add":{"text":"pub fn compile_bytecode(ml: &Path, use_prims: &Path, packages: &[&str], out: &Path) {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6707"}},{"Add":{"text":" let mut cmd = Command::new(\"ocamlfind\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6752"}},{"Add":{"text":" cmd.arg(\"ocamlc\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6775"}},{"Add":{"text":" for p in packages {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6799"}},{"Add":{"text":" cmd.args([\"-package\", p]);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6834"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6840"}},{"Add":{"text":" if !packages.is_empty() {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6870"}},{"Add":{"text":" cmd.arg(\"-linkpkg\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6899"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6905"}},{"Add":{"text":" cmd.arg(\"-use-prims\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6931"}},{"Add":{"text":" .arg(use_prims)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6955"}},{"Add":{"text":" .arg(ml)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6972"}},{"Add":{"text":" .arg(\"-o\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:6991"}},{"Add":{"text":" .arg(out);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7010"}},{"Add":{"text":" let ok = cmd.status().expect(\"run ocamlc\").success();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7068"}},{"Add":{"text":" assert!(ok, \"ocamlc failed on {ml:?}\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7112"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7114"}}]}},{"FileAdd":{"meta":{"basename":"builtin_primitives.txt","metadata":0},"context":[{"change":0,"pos":2299}],"contents":[{"Add":{"text":"caml_abs_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7178"}},{"Add":{"text":"caml_acos_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7194"}},{"Add":{"text":"caml_acosh_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7211"}},{"Add":{"text":"caml_add_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7226"}},{"Add":{"text":"caml_alloc_dummy","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7243"}},{"Add":{"text":"caml_alloc_dummy_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7266"}},{"Add":{"text":"caml_alloc_dummy_lazy","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7288"}},{"Add":{"text":"caml_alloc_stack","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7305"}},{"Add":{"text":"caml_array_append","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7323"}},{"Add":{"text":"caml_array_blit","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7339"}},{"Add":{"text":"caml_array_concat","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7357"}},{"Add":{"text":"caml_array_create_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7381"}},{"Add":{"text":"caml_array_fill","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7397"}},{"Add":{"text":"caml_array_get","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7412"}},{"Add":{"text":"caml_array_get_addr","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7432"}},{"Add":{"text":"caml_array_make","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7448"}},{"Add":{"text":"caml_array_of_uniform_array","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7476"}},{"Add":{"text":"caml_array_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7491"}},{"Add":{"text":"caml_array_set_addr","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7511"}},{"Add":{"text":"caml_array_sub","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7526"}},{"Add":{"text":"caml_array_unsafe_get","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7548"}},{"Add":{"text":"caml_array_unsafe_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7570"}},{"Add":{"text":"caml_asin_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7586"}},{"Add":{"text":"caml_asinh_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7603"}},{"Add":{"text":"caml_atan2_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7620"}},{"Add":{"text":"caml_atan_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7636"}},{"Add":{"text":"caml_atanh_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7653"}},{"Add":{"text":"caml_atomic_cas","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7669"}},{"Add":{"text":"caml_atomic_cas_field","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7691"}},{"Add":{"text":"caml_atomic_exchange","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7712"}},{"Add":{"text":"caml_atomic_exchange_field","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7739"}},{"Add":{"text":"caml_atomic_fetch_add","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7761"}},{"Add":{"text":"caml_atomic_fetch_add_field","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7789"}},{"Add":{"text":"caml_atomic_load","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7806"}},{"Add":{"text":"caml_atomic_load_field","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7829"}},{"Add":{"text":"caml_atomic_make_contended","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7856"}},{"Add":{"text":"caml_ba_blit","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7869"}},{"Add":{"text":"caml_ba_change_layout","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7891"}},{"Add":{"text":"caml_ba_create","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7906"}},{"Add":{"text":"caml_ba_dim","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7918"}},{"Add":{"text":"caml_ba_dim_1","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7932"}},{"Add":{"text":"caml_ba_dim_2","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7946"}},{"Add":{"text":"caml_ba_dim_3","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7960"}},{"Add":{"text":"caml_ba_fill","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7973"}},{"Add":{"text":"caml_ba_get_1","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:7987"}},{"Add":{"text":"caml_ba_get_2","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8001"}},{"Add":{"text":"caml_ba_get_3","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8015"}},{"Add":{"text":"caml_ba_get_generic","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8035"}},{"Add":{"text":"caml_ba_kind","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8048"}},{"Add":{"text":"caml_ba_layout","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8063"}},{"Add":{"text":"caml_ba_num_dims","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8080"}},{"Add":{"text":"caml_ba_reshape","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8096"}},{"Add":{"text":"caml_ba_set_1","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8110"}},{"Add":{"text":"caml_ba_set_2","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8124"}},{"Add":{"text":"caml_ba_set_3","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8138"}},{"Add":{"text":"caml_ba_set_generic","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8158"}},{"Add":{"text":"caml_ba_slice","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8172"}},{"Add":{"text":"caml_ba_sub","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8184"}},{"Add":{"text":"caml_ba_uint8_get16","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8204"}},{"Add":{"text":"caml_ba_uint8_get32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8224"}},{"Add":{"text":"caml_ba_uint8_get64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8244"}},{"Add":{"text":"caml_ba_uint8_set16","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8264"}},{"Add":{"text":"caml_ba_uint8_set32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8284"}},{"Add":{"text":"caml_ba_uint8_set64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8304"}},{"Add":{"text":"caml_backtrace_status","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8326"}},{"Add":{"text":"caml_blake2_bytes","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8344"}},{"Add":{"text":"caml_blake2_create","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8363"}},{"Add":{"text":"caml_blake2_final","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8381"}},{"Add":{"text":"caml_blake2_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8400"}},{"Add":{"text":"caml_blake2_update","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8419"}},{"Add":{"text":"caml_blit_bytes","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8435"}},{"Add":{"text":"caml_blit_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8452"}},{"Add":{"text":"caml_bswap16","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8465"}},{"Add":{"text":"caml_bytes_compare","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8484"}},{"Add":{"text":"caml_bytes_equal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8501"}},{"Add":{"text":"caml_bytes_get","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8516"}},{"Add":{"text":"caml_bytes_get16","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8533"}},{"Add":{"text":"caml_bytes_get32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8550"}},{"Add":{"text":"caml_bytes_get64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8567"}},{"Add":{"text":"caml_bytes_greaterequal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8591"}},{"Add":{"text":"caml_bytes_greaterthan","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8614"}},{"Add":{"text":"caml_bytes_lessequal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8635"}},{"Add":{"text":"caml_bytes_lessthan","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8655"}},{"Add":{"text":"caml_bytes_notequal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8675"}},{"Add":{"text":"caml_bytes_of_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8696"}},{"Add":{"text":"caml_bytes_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8711"}},{"Add":{"text":"caml_bytes_set16","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8728"}},{"Add":{"text":"caml_bytes_set32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8745"}},{"Add":{"text":"caml_bytes_set64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8762"}},{"Add":{"text":"caml_cbrt_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8778"}},{"Add":{"text":"caml_ceil_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8794"}},{"Add":{"text":"caml_channel_descriptor","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8818"}},{"Add":{"text":"caml_classify_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8838"}},{"Add":{"text":"caml_compare","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8851"}},{"Add":{"text":"caml_continuation_use","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8873"}},{"Add":{"text":"caml_continuation_use_and_update_handler_noexc","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8920"}},{"Add":{"text":"caml_continuation_use_noexc","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8948"}},{"Add":{"text":"caml_convert_raw_backtrace","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:8975"}},{"Add":{"text":"caml_convert_raw_backtrace_slot","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9007"}},{"Add":{"text":"caml_copysign_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9027"}},{"Add":{"text":"caml_cos_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9042"}},{"Add":{"text":"caml_cosh_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9058"}},{"Add":{"text":"caml_create_bytes","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9076"}},{"Add":{"text":"caml_create_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9095"}},{"Add":{"text":"caml_div_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9110"}},{"Add":{"text":"caml_domain_dls_compare_and_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9142"}},{"Add":{"text":"caml_domain_dls_get","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9162"}},{"Add":{"text":"caml_domain_dls_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9182"}},{"Add":{"text":"caml_domain_spawn","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9200"}},{"Add":{"text":"caml_dynlink_add_primitive","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9227"}},{"Add":{"text":"caml_dynlink_close_lib","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9250"}},{"Add":{"text":"caml_dynlink_get_bytecode_sections","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9285"}},{"Add":{"text":"caml_dynlink_get_current_libs","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9315"}},{"Add":{"text":"caml_dynlink_lookup_symbol","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9342"}},{"Add":{"text":"caml_dynlink_open_lib","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9364"}},{"Add":{"text":"caml_ensure_stack_capacity","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9391"}},{"Add":{"text":"caml_ephe_blit_data","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9411"}},{"Add":{"text":"caml_ephe_blit_key","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9430"}},{"Add":{"text":"caml_ephe_check_data","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9451"}},{"Add":{"text":"caml_ephe_check_key","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9471"}},{"Add":{"text":"caml_ephe_create","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9488"}},{"Add":{"text":"caml_ephe_get_data","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9507"}},{"Add":{"text":"caml_ephe_get_data_copy","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9531"}},{"Add":{"text":"caml_ephe_get_key","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9549"}},{"Add":{"text":"caml_ephe_get_key_copy","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9572"}},{"Add":{"text":"caml_ephe_set_data","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9591"}},{"Add":{"text":"caml_ephe_set_key","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9609"}},{"Add":{"text":"caml_ephe_unset_data","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9630"}},{"Add":{"text":"caml_ephe_unset_key","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9650"}},{"Add":{"text":"caml_eq_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9664"}},{"Add":{"text":"caml_equal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9675"}},{"Add":{"text":"caml_erf_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9690"}},{"Add":{"text":"caml_erfc_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9706"}},{"Add":{"text":"caml_exp2_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9722"}},{"Add":{"text":"caml_exp_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9737"}},{"Add":{"text":"caml_expm1_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9754"}},{"Add":{"text":"caml_fill_bytes","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9770"}},{"Add":{"text":"caml_fill_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9787"}},{"Add":{"text":"caml_final_register","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9807"}},{"Add":{"text":"caml_final_register_called_without_value","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9848"}},{"Add":{"text":"caml_final_release","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9867"}},{"Add":{"text":"caml_float_compare","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9886"}},{"Add":{"text":"caml_float_of_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9904"}},{"Add":{"text":"caml_float_of_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9925"}},{"Add":{"text":"caml_floatarray_append","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9948"}},{"Add":{"text":"caml_floatarray_blit","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9969"}},{"Add":{"text":"caml_floatarray_concat","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:9992"}},{"Add":{"text":"caml_floatarray_create","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10015"}},{"Add":{"text":"caml_floatarray_fill","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10036"}},{"Add":{"text":"caml_floatarray_fill_unboxed","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10065"}},{"Add":{"text":"caml_floatarray_get","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10085"}},{"Add":{"text":"caml_floatarray_make","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10106"}},{"Add":{"text":"caml_floatarray_make_unboxed","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10135"}},{"Add":{"text":"caml_floatarray_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10155"}},{"Add":{"text":"caml_floatarray_sub","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10175"}},{"Add":{"text":"caml_floatarray_unsafe_get","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10202"}},{"Add":{"text":"caml_floatarray_unsafe_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10229"}},{"Add":{"text":"caml_floor_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10246"}},{"Add":{"text":"caml_fma_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10261"}},{"Add":{"text":"caml_fmod_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10277"}},{"Add":{"text":"caml_format_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10295"}},{"Add":{"text":"caml_format_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10311"}},{"Add":{"text":"caml_fresh_oo_id","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10328"}},{"Add":{"text":"caml_frexp_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10345"}},{"Add":{"text":"caml_gc_compaction","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10364"}},{"Add":{"text":"caml_gc_counters","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10381"}},{"Add":{"text":"caml_gc_full_major","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10400"}},{"Add":{"text":"caml_gc_get","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10412"}},{"Add":{"text":"caml_gc_major","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10426"}},{"Add":{"text":"caml_gc_major_slice","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10446"}},{"Add":{"text":"caml_gc_minor","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10460"}},{"Add":{"text":"caml_gc_minor_words","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10480"}},{"Add":{"text":"caml_gc_quick_stat","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10499"}},{"Add":{"text":"caml_gc_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10511"}},{"Add":{"text":"caml_gc_stat","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10524"}},{"Add":{"text":"caml_ge_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10538"}},{"Add":{"text":"caml_get_continuation_callstack","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10570"}},{"Add":{"text":"caml_get_current_callstack","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10597"}},{"Add":{"text":"caml_get_current_environment","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10626"}},{"Add":{"text":"caml_get_exception_backtrace","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10655"}},{"Add":{"text":"caml_get_exception_raw_backtrace","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10688"}},{"Add":{"text":"caml_get_global_data","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10709"}},{"Add":{"text":"caml_get_minor_free","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10729"}},{"Add":{"text":"caml_get_public_method","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10752"}},{"Add":{"text":"caml_greaterequal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10770"}},{"Add":{"text":"caml_greaterthan","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10787"}},{"Add":{"text":"caml_gt_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10801"}},{"Add":{"text":"caml_hash","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10811"}},{"Add":{"text":"caml_hexstring_of_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10835"}},{"Add":{"text":"caml_hypot_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10852"}},{"Add":{"text":"caml_input_value","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10869"}},{"Add":{"text":"caml_input_value_from_bytes","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10897"}},{"Add":{"text":"caml_input_value_to_outside_heap","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10930"}},{"Add":{"text":"caml_install_signal_handler","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10958"}},{"Add":{"text":"caml_int32_add","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10973"}},{"Add":{"text":"caml_int32_and","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:10988"}},{"Add":{"text":"caml_int32_bits_of_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11013"}},{"Add":{"text":"caml_int32_bswap","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11030"}},{"Add":{"text":"caml_int32_compare","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11049"}},{"Add":{"text":"caml_int32_div","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11064"}},{"Add":{"text":"caml_int32_float_of_bits","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11089"}},{"Add":{"text":"caml_int32_format","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11107"}},{"Add":{"text":"caml_int32_mod","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11122"}},{"Add":{"text":"caml_int32_mul","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11137"}},{"Add":{"text":"caml_int32_neg","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11152"}},{"Add":{"text":"caml_int32_of_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11172"}},{"Add":{"text":"caml_int32_of_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11190"}},{"Add":{"text":"caml_int32_of_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11211"}},{"Add":{"text":"caml_int32_or","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11225"}},{"Add":{"text":"caml_int32_shift_left","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11247"}},{"Add":{"text":"caml_int32_shift_right","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11270"}},{"Add":{"text":"caml_int32_shift_right_unsigned","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11302"}},{"Add":{"text":"caml_int32_sub","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11317"}},{"Add":{"text":"caml_int32_to_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11337"}},{"Add":{"text":"caml_int32_to_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11355"}},{"Add":{"text":"caml_int32_xor","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11370"}},{"Add":{"text":"caml_int64_add","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11385"}},{"Add":{"text":"caml_int64_and","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11400"}},{"Add":{"text":"caml_int64_bits_of_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11425"}},{"Add":{"text":"caml_int64_bswap","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11442"}},{"Add":{"text":"caml_int64_compare","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11461"}},{"Add":{"text":"caml_int64_div","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11476"}},{"Add":{"text":"caml_int64_float_of_bits","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11501"}},{"Add":{"text":"caml_int64_format","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11519"}},{"Add":{"text":"caml_int64_mod","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11534"}},{"Add":{"text":"caml_int64_mul","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11549"}},{"Add":{"text":"caml_int64_neg","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11564"}},{"Add":{"text":"caml_int64_of_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11584"}},{"Add":{"text":"caml_int64_of_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11602"}},{"Add":{"text":"caml_int64_of_int32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11622"}},{"Add":{"text":"caml_int64_of_nativeint","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11646"}},{"Add":{"text":"caml_int64_of_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11667"}},{"Add":{"text":"caml_int64_or","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11681"}},{"Add":{"text":"caml_int64_shift_left","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11703"}},{"Add":{"text":"caml_int64_shift_right","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11726"}},{"Add":{"text":"caml_int64_shift_right_unsigned","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11758"}},{"Add":{"text":"caml_int64_sub","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11773"}},{"Add":{"text":"caml_int64_to_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11793"}},{"Add":{"text":"caml_int64_to_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11811"}},{"Add":{"text":"caml_int64_to_int32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11831"}},{"Add":{"text":"caml_int64_to_nativeint","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11855"}},{"Add":{"text":"caml_int64_xor","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11870"}},{"Add":{"text":"caml_int_as_pointer","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11890"}},{"Add":{"text":"caml_int_compare","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11907"}},{"Add":{"text":"caml_int_of_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11925"}},{"Add":{"text":"caml_int_of_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11944"}},{"Add":{"text":"caml_invoke_traced_function","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11972"}},{"Add":{"text":"caml_lazy_make_forward","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:11995"}},{"Add":{"text":"caml_lazy_read_result","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12017"}},{"Add":{"text":"caml_lazy_reset_to_lazy","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12041"}},{"Add":{"text":"caml_lazy_update_to_forcing","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12069"}},{"Add":{"text":"caml_lazy_update_to_forward","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12097"}},{"Add":{"text":"caml_ldexp_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12114"}},{"Add":{"text":"caml_le_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12128"}},{"Add":{"text":"caml_lessequal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12143"}},{"Add":{"text":"caml_lessthan","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12157"}},{"Add":{"text":"caml_lex_engine","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12173"}},{"Add":{"text":"caml_log10_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12190"}},{"Add":{"text":"caml_log1p_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12207"}},{"Add":{"text":"caml_log2_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12223"}},{"Add":{"text":"caml_log_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12238"}},{"Add":{"text":"caml_lt_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12252"}},{"Add":{"text":"caml_lxm_next","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12266"}},{"Add":{"text":"caml_make_array","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12282"}},{"Add":{"text":"caml_make_float_vect","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12303"}},{"Add":{"text":"caml_make_vect","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12318"}},{"Add":{"text":"caml_marshal_data_size","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12341"}},{"Add":{"text":"caml_md5_bytes","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12356"}},{"Add":{"text":"caml_md5_chan","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12370"}},{"Add":{"text":"caml_md5_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12386"}},{"Add":{"text":"caml_memprof_discard","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12407"}},{"Add":{"text":"caml_memprof_start","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12426"}},{"Add":{"text":"caml_memprof_stop","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12444"}},{"Add":{"text":"caml_ml_bytes_length","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12465"}},{"Add":{"text":"caml_ml_channel_size","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12486"}},{"Add":{"text":"caml_ml_channel_size_64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12510"}},{"Add":{"text":"caml_ml_close_channel","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12532"}},{"Add":{"text":"caml_ml_condition_broadcast","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12560"}},{"Add":{"text":"caml_ml_condition_new","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12582"}},{"Add":{"text":"caml_ml_condition_signal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12607"}},{"Add":{"text":"caml_ml_condition_wait","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12630"}},{"Add":{"text":"caml_ml_debug_info_status","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12656"}},{"Add":{"text":"caml_ml_domain_cpu_relax","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12681"}},{"Add":{"text":"caml_ml_domain_id","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12699"}},{"Add":{"text":"caml_ml_domain_index","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12720"}},{"Add":{"text":"caml_ml_enable_runtime_warnings","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12752"}},{"Add":{"text":"caml_ml_flush","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12766"}},{"Add":{"text":"caml_ml_gc_ramp_down","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12787"}},{"Add":{"text":"caml_ml_gc_ramp_up","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12806"}},{"Add":{"text":"caml_ml_input","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12820"}},{"Add":{"text":"caml_ml_input_bigarray","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12843"}},{"Add":{"text":"caml_ml_input_char","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12862"}},{"Add":{"text":"caml_ml_input_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12880"}},{"Add":{"text":"caml_ml_input_scan_line","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12904"}},{"Add":{"text":"caml_ml_is_binary_mode","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12927"}},{"Add":{"text":"caml_ml_is_buffered","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12947"}},{"Add":{"text":"caml_ml_mutex_lock","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12966"}},{"Add":{"text":"caml_ml_mutex_new","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:12984"}},{"Add":{"text":"caml_ml_mutex_try_lock","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13007"}},{"Add":{"text":"caml_ml_mutex_unlock","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13028"}},{"Add":{"text":"caml_ml_open_descriptor_in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13055"}},{"Add":{"text":"caml_ml_open_descriptor_in_with_flags","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13093"}},{"Add":{"text":"caml_ml_open_descriptor_out","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13121"}},{"Add":{"text":"caml_ml_open_descriptor_out_with_flags","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13160"}},{"Add":{"text":"caml_ml_out_channels_list","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13186"}},{"Add":{"text":"caml_ml_output","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13201"}},{"Add":{"text":"caml_ml_output_bigarray","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13225"}},{"Add":{"text":"caml_ml_output_bytes","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13246"}},{"Add":{"text":"caml_ml_output_char","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13266"}},{"Add":{"text":"caml_ml_output_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13285"}},{"Add":{"text":"caml_ml_pos_in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13300"}},{"Add":{"text":"caml_ml_pos_in_64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13318"}},{"Add":{"text":"caml_ml_pos_out","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13334"}},{"Add":{"text":"caml_ml_pos_out_64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13353"}},{"Add":{"text":"caml_ml_runtime_events_are_active","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13387"}},{"Add":{"text":"caml_ml_runtime_events_path","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13415"}},{"Add":{"text":"caml_ml_runtime_events_pause","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13444"}},{"Add":{"text":"caml_ml_runtime_events_resume","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13474"}},{"Add":{"text":"caml_ml_runtime_events_start","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13503"}},{"Add":{"text":"caml_ml_runtime_warnings_enabled","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13536"}},{"Add":{"text":"caml_ml_seek_in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13552"}},{"Add":{"text":"caml_ml_seek_in_64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13571"}},{"Add":{"text":"caml_ml_seek_out","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13588"}},{"Add":{"text":"caml_ml_seek_out_64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13608"}},{"Add":{"text":"caml_ml_set_binary_mode","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13632"}},{"Add":{"text":"caml_ml_set_buffered","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13653"}},{"Add":{"text":"caml_ml_set_channel_name","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13678"}},{"Add":{"text":"caml_ml_string_length","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13700"}},{"Add":{"text":"caml_modf_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13716"}},{"Add":{"text":"caml_mul_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13731"}},{"Add":{"text":"caml_nativeint_add","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13750"}},{"Add":{"text":"caml_nativeint_and","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13769"}},{"Add":{"text":"caml_nativeint_bswap","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13790"}},{"Add":{"text":"caml_nativeint_compare","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13813"}},{"Add":{"text":"caml_nativeint_div","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13832"}},{"Add":{"text":"caml_nativeint_format","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13854"}},{"Add":{"text":"caml_nativeint_mod","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13873"}},{"Add":{"text":"caml_nativeint_mul","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13892"}},{"Add":{"text":"caml_nativeint_neg","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13911"}},{"Add":{"text":"caml_nativeint_of_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13935"}},{"Add":{"text":"caml_nativeint_of_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13957"}},{"Add":{"text":"caml_nativeint_of_int32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:13981"}},{"Add":{"text":"caml_nativeint_of_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14006"}},{"Add":{"text":"caml_nativeint_or","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14024"}},{"Add":{"text":"caml_nativeint_shift_left","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14050"}},{"Add":{"text":"caml_nativeint_shift_right","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14077"}},{"Add":{"text":"caml_nativeint_shift_right_unsigned","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14113"}},{"Add":{"text":"caml_nativeint_sub","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14132"}},{"Add":{"text":"caml_nativeint_to_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14156"}},{"Add":{"text":"caml_nativeint_to_int","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14178"}},{"Add":{"text":"caml_nativeint_to_int32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14202"}},{"Add":{"text":"caml_nativeint_xor","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14221"}},{"Add":{"text":"caml_neg_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14236"}},{"Add":{"text":"caml_neq_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14251"}},{"Add":{"text":"caml_new_lex_engine","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14271"}},{"Add":{"text":"caml_nextafter_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14292"}},{"Add":{"text":"caml_notequal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14306"}},{"Add":{"text":"caml_obj_add_offset","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14326"}},{"Add":{"text":"caml_obj_block","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14341"}},{"Add":{"text":"caml_obj_compare_and_swap","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14367"}},{"Add":{"text":"caml_obj_dup","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14380"}},{"Add":{"text":"caml_obj_is_shared","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14399"}},{"Add":{"text":"caml_obj_raw_field","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14418"}},{"Add":{"text":"caml_obj_reachable_words","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14443"}},{"Add":{"text":"caml_obj_set_raw_field","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14466"}},{"Add":{"text":"caml_obj_tag","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14479"}},{"Add":{"text":"caml_obj_with_tag","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14497"}},{"Add":{"text":"caml_output_value","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14515"}},{"Add":{"text":"caml_output_value_to_buffer","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14543"}},{"Add":{"text":"caml_output_value_to_bytes","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14570"}},{"Add":{"text":"caml_output_value_to_string","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14598"}},{"Add":{"text":"caml_parse_engine","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14616"}},{"Add":{"text":"caml_power_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14633"}},{"Add":{"text":"caml_process_pending_actions_with_root","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14672"}},{"Add":{"text":"caml_raw_backtrace_length","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14698"}},{"Add":{"text":"caml_raw_backtrace_next_slot","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14727"}},{"Add":{"text":"caml_raw_backtrace_slot","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14751"}},{"Add":{"text":"caml_realloc_global","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14771"}},{"Add":{"text":"caml_recommended_domain_count","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14801"}},{"Add":{"text":"caml_record_backtrace","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14823"}},{"Add":{"text":"caml_register_named_value","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14849"}},{"Add":{"text":"caml_reify_bytecode","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14869"}},{"Add":{"text":"caml_reset_afl_instrumentation","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14900"}},{"Add":{"text":"caml_restore_raw_backtrace","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14927"}},{"Add":{"text":"caml_round_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14944"}},{"Add":{"text":"caml_runtime_events_user_register","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:14978"}},{"Add":{"text":"caml_runtime_events_user_write","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15009"}},{"Add":{"text":"caml_runtime_parameters","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15033"}},{"Add":{"text":"caml_runtime_variant","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15054"}},{"Add":{"text":"caml_set_oo_id","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15069"}},{"Add":{"text":"caml_set_parser_trace","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15091"}},{"Add":{"text":"caml_signbit","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15104"}},{"Add":{"text":"caml_signbit_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15123"}},{"Add":{"text":"caml_sin_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15138"}},{"Add":{"text":"caml_sinh_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15154"}},{"Add":{"text":"caml_sqrt_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15170"}},{"Add":{"text":"caml_static_release_bytecode","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15199"}},{"Add":{"text":"caml_string_compare","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15219"}},{"Add":{"text":"caml_string_equal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15237"}},{"Add":{"text":"caml_string_get","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15253"}},{"Add":{"text":"caml_string_get16","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15271"}},{"Add":{"text":"caml_string_get32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15289"}},{"Add":{"text":"caml_string_get64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15307"}},{"Add":{"text":"caml_string_greaterequal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15332"}},{"Add":{"text":"caml_string_greaterthan","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15356"}},{"Add":{"text":"caml_string_hash","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15373"}},{"Add":{"text":"caml_string_lessequal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15395"}},{"Add":{"text":"caml_string_lessthan","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15416"}},{"Add":{"text":"caml_string_notequal","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15437"}},{"Add":{"text":"caml_string_of_bytes","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15458"}},{"Add":{"text":"caml_string_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15474"}},{"Add":{"text":"caml_sub_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15489"}},{"Add":{"text":"caml_sys_argv","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15503"}},{"Add":{"text":"caml_sys_chdir","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15518"}},{"Add":{"text":"caml_sys_close","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15533"}},{"Add":{"text":"caml_sys_const_backend_type","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15561"}},{"Add":{"text":"caml_sys_const_big_endian","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15587"}},{"Add":{"text":"caml_sys_const_int_size","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15611"}},{"Add":{"text":"caml_sys_const_max_wosize","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15637"}},{"Add":{"text":"caml_sys_const_ostype_cygwin","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15666"}},{"Add":{"text":"caml_sys_const_ostype_unix","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15693"}},{"Add":{"text":"caml_sys_const_ostype_win32","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15721"}},{"Add":{"text":"caml_sys_const_word_size","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15746"}},{"Add":{"text":"caml_sys_convert_signal_number","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15777"}},{"Add":{"text":"caml_sys_executable_name","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15802"}},{"Add":{"text":"caml_sys_exit","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15816"}},{"Add":{"text":"caml_sys_file_exists","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15837"}},{"Add":{"text":"caml_sys_get_argv","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15855"}},{"Add":{"text":"caml_sys_get_config","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15875"}},{"Add":{"text":"caml_sys_getcwd","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15891"}},{"Add":{"text":"caml_sys_getenv","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15907"}},{"Add":{"text":"caml_sys_getenv_opt","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15927"}},{"Add":{"text":"caml_sys_io_buffer_size","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15951"}},{"Add":{"text":"caml_sys_is_directory","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15973"}},{"Add":{"text":"caml_sys_is_regular_file","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:15998"}},{"Add":{"text":"caml_sys_isatty","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16014"}},{"Add":{"text":"caml_sys_mkdir","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16029"}},{"Add":{"text":"caml_sys_modify_argv","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16050"}},{"Add":{"text":"caml_sys_open","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16064"}},{"Add":{"text":"caml_sys_random_seed","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16085"}},{"Add":{"text":"caml_sys_read_directory","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16109"}},{"Add":{"text":"caml_sys_remove","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16125"}},{"Add":{"text":"caml_sys_rename","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16141"}},{"Add":{"text":"caml_sys_rev_convert_signal_number","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16176"}},{"Add":{"text":"caml_sys_rmdir","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16191"}},{"Add":{"text":"caml_sys_system_command","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16215"}},{"Add":{"text":"caml_sys_temp_dir_name","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16238"}},{"Add":{"text":"caml_sys_time","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16252"}},{"Add":{"text":"caml_sys_time_include_children","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16283"}},{"Add":{"text":"caml_sys_unsafe_getenv","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16306"}},{"Add":{"text":"caml_tan_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16321"}},{"Add":{"text":"caml_tanh_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16337"}},{"Add":{"text":"caml_terminfo_rows","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16356"}},{"Add":{"text":"caml_trunc_float","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16373"}},{"Add":{"text":"caml_uniform_array_append","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16399"}},{"Add":{"text":"caml_uniform_array_blit","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16423"}},{"Add":{"text":"caml_uniform_array_concat","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16449"}},{"Add":{"text":"caml_uniform_array_fill","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16473"}},{"Add":{"text":"caml_uniform_array_make","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16497"}},{"Add":{"text":"caml_uniform_array_sub","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16520"}},{"Add":{"text":"caml_update_dummy","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16538"}},{"Add":{"text":"caml_update_dummy_lazy","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16561"}},{"Add":{"text":"caml_weak_blit","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16576"}},{"Add":{"text":"caml_weak_check","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16592"}},{"Add":{"text":"caml_weak_create","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16609"}},{"Add":{"text":"caml_weak_get","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16623"}},{"Add":{"text":"caml_weak_get_copy","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16642"}},{"Add":{"text":"caml_weak_set","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16656"}},{"Add":{"text":"caml_xdg_defaults","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16674"}},{"Add":{"text":"caml_zstd_initialize","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16695"}}]}},{"FileAdd":{"meta":{"basename":"Cargo.toml","metadata":0},"context":[{"change":0,"pos":2282}],"contents":[{"Add":{"text":"[package]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16742"}},{"Add":{"text":"name = \"ocaml-vm-build\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16766"}},{"Add":{"text":"version = \"0.1.0\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16784"}},{"Add":{"text":"edition = \"2021\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16801"}},{"Add":{"text":"# Pure build-time logic (used from other crates' build.rs): generate the curated","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16882"}},{"Add":{"text":"# primitive table and compile user bytecode against it. No runtime deps.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16955"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16956"}},{"Add":{"text":"[dependencies]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:16971"}}]}},{"FileAdd":{"meta":{"basename":"ocaml-vm","metadata":576},"context":[{"change":0,"pos":425}],"contents":[]}},{"FileAdd":{"meta":{"basename":"src","metadata":576},"context":[{"change":0,"pos":16993}],"contents":[]}},{"FileAdd":{"meta":{"basename":"lib.rs","metadata":0},"context":[{"change":0,"pos":17010}],"contents":[{"Add":{"text":"//! Safe-ish embedding API for the curated OCaml bytecode VM.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17105"}},{"Add":{"text":"//!","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17109"}},{"Add":{"text":"//! Host primitives are plain `#[no_mangle] extern \"C\" fn`s in the embedding","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17186"}},{"Add":{"text":"//! binary, wired into the table by `ocaml-vm-build`; this crate just drives the","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17267"}},{"Add":{"text":"//! runtime. Single VM per process (the OCaml runtime is global state).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17339"}},{"Add":{"text":"use std::ffi::CString;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17362"}},{"Add":{"text":"use std::path::Path;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17383"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17384"}},{"Add":{"text":"pub mod bridge;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17400"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17401"}},{"Add":{"text":"/// Load and run a bytecode file on the embedded VM. Returns when the OCaml","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17477"}},{"Add":{"text":"/// toplevel finishes. Primitives the bytecode uses must be in the curated table","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17558"}},{"Add":{"text":"/// or loading fails (\"unknown C primitive\") — fail closed.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17620"}},{"Add":{"text":"pub fn run(bytecode: impl AsRef) {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17661"}},{"Add":{"text":" let name = CString::new(\"elpe-vm\").unwrap();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17710"}},{"Add":{"text":" let path = CString::new(bytecode.as_ref().to_str().expect(\"utf-8 path\")).unwrap();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17797"}},{"Add":{"text":" let argv = [name.as_ptr(), path.as_ptr(), std::ptr::null()];","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17862"}},{"Add":{"text":" // SAFETY: argv is NUL-terminated and outlives the call; single-threaded entry.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:17946"}},{"Add":{"text":" unsafe { ocaml_vm_sys::caml_main(argv.as_ptr()) };","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18001"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18003"}}]}},{"FileAdd":{"meta":{"basename":"bridge.rs","metadata":0},"context":[{"change":0,"pos":17010}],"contents":[{"Add":{"text":"//! Generic completion bridge between async host workers (threads, or tokio in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18118"}},{"Add":{"text":"//! the real Elpe host) and the single-threaded OCaml/Lwt scheduler.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18187"}},{"Add":{"text":"//!","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18191"}},{"Add":{"text":"//! Contract: the OCaml side allocates an integer `id` per pending effect and","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18269"}},{"Add":{"text":"//! hands it to a host primitive that spawns the work. Workers run OFF the OCaml","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18350"}},{"Add":{"text":"//! thread and only ever touch this bridge (plain ints/bytes) — never OCaml","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18428"}},{"Add":{"text":"//! values, respecting the runtime-lock discipline. The OCaml run loop blocks in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18509"}},{"Add":{"text":"//! `wait()` when it has nothing runnable; a completing worker wakes it.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18582"}},{"Add":{"text":"//!","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18586"}},{"Add":{"text":"//! Results are `i64` here (enough for the spike); the real host carries bytes.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18666"}},{"Add":{"text":"use std::collections::{HashMap, VecDeque};","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18709"}},{"Add":{"text":"use std::sync::{Condvar, Mutex, OnceLock};","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18752"}},{"Add":{"text":"use std::time::Instant;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18776"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18777"}},{"Add":{"text":"#[derive(Default)]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18796"}},{"Add":{"text":"struct Inner {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18811"}},{"Add":{"text":" done: VecDeque,","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18836"}},{"Add":{"text":" results: HashMap,","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18868"}},{"Add":{"text":" outstanding: i64,","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18890"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18892"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18893"}},{"Add":{"text":"pub struct Completions {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18918"}},{"Add":{"text":" inner: Mutex,","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18943"}},{"Add":{"text":" ready: Condvar,","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18963"}},{"Add":{"text":" epoch: OnceLock,","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18993"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18995"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:18996"}},{"Add":{"text":"impl Completions {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19015"}},{"Add":{"text":" /// Register that one more effect is in flight (call before spawning).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19090"}},{"Add":{"text":" pub fn begin(&self) {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19116"}},{"Add":{"text":" self.inner.lock().unwrap().outstanding += 1;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19169"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19175"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19176"}},{"Add":{"text":" /// A worker reports completion of `id` with `result`, waking the loop.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19252"}},{"Add":{"text":" pub fn complete(&self, id: i64, result: i64) {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19303"}},{"Add":{"text":" let mut g = self.inner.lock().unwrap();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19351"}},{"Add":{"text":" g.results.insert(id, result);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19389"}},{"Add":{"text":" g.done.push_back(id);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19419"}},{"Add":{"text":" drop(g);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19436"}},{"Add":{"text":" self.ready.notify_one();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19469"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19475"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19476"}},{"Add":{"text":" /// Block until an effect completes; return its id, or -1 if none are in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19553"}},{"Add":{"text":" /// flight (so the OCaml loop can't deadlock).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19604"}},{"Add":{"text":" pub fn wait(&self) -> i64 {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19636"}},{"Add":{"text":" let mut g = self.inner.lock().unwrap();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19684"}},{"Add":{"text":" loop {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19699"}},{"Add":{"text":" if let Some(id) = g.done.pop_front() {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19750"}},{"Add":{"text":" g.outstanding -= 1;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19786"}},{"Add":{"text":" return id;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19813"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19827"}},{"Add":{"text":" if g.outstanding == 0 {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19863"}},{"Add":{"text":" return -1;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19890"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19904"}},{"Add":{"text":" g = self.ready.wait(g).unwrap();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19949"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19959"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19965"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:19966"}},{"Add":{"text":" pub fn take_result(&self, id: i64) -> i64 {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20014"}},{"Add":{"text":" self.inner.lock().unwrap().results.remove(&id).unwrap_or(0)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20082"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20088"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20089"}},{"Add":{"text":" pub fn now_ms(&self) -> i64 {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20123"}},{"Add":{"text":" self.epoch.get_or_init(Instant::now).elapsed().as_millis() as i64","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20197"}},{"Add":{"text":" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20203"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20205"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20206"}},{"Add":{"text":"/// Process-wide bridge (one VM per process).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20252"}},{"Add":{"text":"pub fn global() -> &'static Completions {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20294"}},{"Add":{"text":" static G: OnceLock = OnceLock::new();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20349"}},{"Add":{"text":" G.get_or_init(|| Completions {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20384"}},{"Add":{"text":" inner: Mutex::new(Inner::default()),","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20429"}},{"Add":{"text":" ready: Condvar::new(),","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20460"}},{"Add":{"text":" epoch: OnceLock::new(),","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20492"}},{"Add":{"text":" })","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20499"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20501"}}]}},{"FileAdd":{"meta":{"basename":"Cargo.toml","metadata":0},"context":[{"change":0,"pos":16993}],"contents":[{"Add":{"text":"[package]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20548"}},{"Add":{"text":"name = \"ocaml-vm\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20566"}},{"Add":{"text":"version = \"0.1.0\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20584"}},{"Add":{"text":"edition = \"2021\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20601"}},{"Add":{"text":"# Safe embedding API over ocaml-vm-sys. Runtime-agnostic: no tokio/async pulled","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20681"}},{"Add":{"text":"# in here — the async host bridge belongs to the concrete host (e.g. Elpe).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20759"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20760"}},{"Add":{"text":"[dependencies]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20775"}},{"Add":{"text":"ocaml-vm-sys = { path = \"../ocaml-vm-sys\" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20819"}}]}},{"FileAdd":{"meta":{"basename":"demo","metadata":576},"context":[{"change":0,"pos":425}],"contents":[]}},{"FileAdd":{"meta":{"basename":"src","metadata":576},"context":[{"change":0,"pos":20837}],"contents":[]}},{"FileAdd":{"meta":{"basename":"main.rs","metadata":0},"context":[{"change":0,"pos":20854}],"contents":[{"Add":{"text":"//! Increment-2 demo: a Rust host driving the curated OCaml bytecode VM, with an","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:20969"}},{"Add":{"text":"//! ASYNC host effect bridged into Lwt. Worker threads (tokio in production)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21046"}},{"Add":{"text":"//! complete out of order; `Lwt.all` overlaps them.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21098"}},{"Add":{"text":"use ocaml_vm::bridge::global;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21128"}},{"Add":{"text":"use std::ffi::CStr;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21148"}},{"Add":{"text":"use std::os::raw::c_char;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21174"}},{"Add":{"text":"use std::time::Duration;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21199"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21200"}},{"Add":{"text":"// OCaml int <-> C value tagging (Val_int / Int_val).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21254"}},{"Add":{"text":"#[inline]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21264"}},{"Add":{"text":"fn int_val(v: usize) -> i64 {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21294"}},{"Add":{"text":" (v as i64) >> 1","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21314"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21316"}},{"Add":{"text":"#[inline]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21326"}},{"Add":{"text":"fn val_int(n: i64) -> usize {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21356"}},{"Add":{"text":" (((n) << 1) | 1) as usize","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21386"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21388"}},{"Add":{"text":"const UNIT: usize = 1; // Val_int(0)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21425"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21426"}},{"Add":{"text":"/// `external host_start : int -> int -> unit` — launch an async effect `id`","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21505"}},{"Add":{"text":"/// that completes after `ms`, resolving to `ms`. Returns immediately.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21576"}},{"Add":{"text":"#[no_mangle]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21589"}},{"Add":{"text":"pub extern \"C\" fn host_start(id: usize, ms: usize) -> usize {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21651"}},{"Add":{"text":" let (id, ms) = (int_val(id), int_val(ms));","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21698"}},{"Add":{"text":" global().begin();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21720"}},{"Add":{"text":" std::thread::spawn(move || {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21753"}},{"Add":{"text":" std::thread::sleep(Duration::from_millis(ms as u64));","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21815"}},{"Add":{"text":" global().complete(id, ms); // stand-in for a gRPC/build completion","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21890"}},{"Add":{"text":" });","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21898"}},{"Add":{"text":" UNIT","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21907"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21909"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21910"}},{"Add":{"text":"/// `external host_wait : unit -> int` — block until an effect completes.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21986"}},{"Add":{"text":"#[no_mangle]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:21999"}},{"Add":{"text":"pub extern \"C\" fn host_wait(_unit: usize) -> usize {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22052"}},{"Add":{"text":" val_int(global().wait())","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22081"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22083"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22084"}},{"Add":{"text":"/// `external host_result : int -> int` — the result an effect resolved to.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22162"}},{"Add":{"text":"#[no_mangle]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22175"}},{"Add":{"text":"pub extern \"C\" fn host_result(id: usize) -> usize {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22227"}},{"Add":{"text":" val_int(global().take_result(int_val(id)))","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22274"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22276"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22277"}},{"Add":{"text":"/// `external host_now_ms : unit -> int` — monotonic clock, to measure overlap.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22359"}},{"Add":{"text":"#[no_mangle]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22372"}},{"Add":{"text":"pub extern \"C\" fn host_now_ms(_unit: usize) -> usize {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22427"}},{"Add":{"text":" val_int(global().now_ms())","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22458"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22460"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22461"}},{"Add":{"text":"/// `external host_emit : string -> unit` — print a message from the VM.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22536"}},{"Add":{"text":"#[no_mangle]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22549"}},{"Add":{"text":"pub extern \"C\" fn host_emit(s: usize) -> usize {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22598"}},{"Add":{"text":" let msg = unsafe { CStr::from_ptr(s as *const c_char) }.to_string_lossy();","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22677"}},{"Add":{"text":" println!(\"[rust host_emit] {msg}\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22717"}},{"Add":{"text":" UNIT","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22726"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22728"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22729"}},{"Add":{"text":"// Keep the host prims from being dead-code-eliminated; the curated table","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22803"}},{"Add":{"text":"// references them by symbol at link time. `#[used]` on a typed fn-pointer","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22878"}},{"Add":{"text":"// static (per prim, since arities differ) is enough.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22932"}},{"Add":{"text":"#[used]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:22940"}},{"Add":{"text":"static K0: extern \"C\" fn(usize, usize) -> usize = host_start;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23002"}},{"Add":{"text":"#[used]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23010"}},{"Add":{"text":"static K1: extern \"C\" fn(usize) -> usize = host_wait;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23064"}},{"Add":{"text":"#[used]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23072"}},{"Add":{"text":"static K2: extern \"C\" fn(usize) -> usize = host_result;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23128"}},{"Add":{"text":"#[used]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23136"}},{"Add":{"text":"static K3: extern \"C\" fn(usize) -> usize = host_now_ms;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23192"}},{"Add":{"text":"#[used]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23200"}},{"Add":{"text":"static K4: extern \"C\" fn(usize) -> usize = host_emit;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23254"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23255"}},{"Add":{"text":"fn main() {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23267"}},{"Add":{"text":" println!(\"[demo] driving embedded OCaml bytecode VM from Rust (async bridge)\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23351"}},{"Add":{"text":" ocaml_vm::run(env!(\"DEMO_BYTECODE\"));","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23393"}},{"Add":{"text":" println!(\"[demo] VM returned cleanly\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23437"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23439"}}]}},{"FileAdd":{"meta":{"basename":"ocaml","metadata":576},"context":[{"change":0,"pos":20837}],"contents":[]}},{"FileAdd":{"meta":{"basename":"test.ml","metadata":0},"context":[{"change":0,"pos":23458}],"contents":[{"Add":{"text":"(* Untrusted eval stand-in, now with real concurrency.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23547"}},{"Add":{"text":" Host effects are async Lwt promises fulfilled by Rust worker threads; a DIY","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23626"}},{"Add":{"text":" run loop drives Lwt off the completion bridge (no Lwt_unix -> no Unix prims).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23707"}},{"Add":{"text":" Lwt.all over out-of-order effects overlaps (elapsed = max, not sum). Raw IO","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23786"}},{"Add":{"text":" (open_out -> caml_sys_open) stays denied by the curated table. *)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23855"}},{"Add":{"text":"external host_emit : string -> unit = \"host_emit\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23907"}},{"Add":{"text":"external host_start : int -> int -> unit = \"host_start\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:23964"}},{"Add":{"text":"external host_wait : unit -> int = \"host_wait\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24013"}},{"Add":{"text":"external host_result : int -> int = \"host_result\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24063"}},{"Add":{"text":"external now_ms : unit -> int = \"host_now_ms\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24114"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24115"}},{"Add":{"text":"let tbl : (int, int Lwt.u) Hashtbl.t = Hashtbl.create 16","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24172"}},{"Add":{"text":"let ctr = ref 0","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24188"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24189"}},{"Add":{"text":"(* An async host effect: completes after [ms], resolving to [ms]. *)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24258"}},{"Add":{"text":"let h ms =","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24269"}},{"Add":{"text":" incr ctr;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24281"}},{"Add":{"text":" let id = !ctr in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24300"}},{"Add":{"text":" let p, r = Lwt.wait () in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24328"}},{"Add":{"text":" Hashtbl.replace tbl id r;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24356"}},{"Add":{"text":" host_start id ms;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24376"}},{"Add":{"text":" p","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24380"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24381"}},{"Add":{"text":"(* The bridge: run Lwt to completion, blocking in the host only when nothing is","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24461"}},{"Add":{"text":" runnable. This is the custom \"engine\" minus Lwt_engine's fd/timer API. *)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24538"}},{"Add":{"text":"let run (main : 'a Lwt.t) : 'a =","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24571"}},{"Add":{"text":" let rec loop () =","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24591"}},{"Add":{"text":" match Lwt.state main with","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24621"}},{"Add":{"text":" | Lwt.Return v -> v","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24645"}},{"Add":{"text":" | Lwt.Fail e -> raise e","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24673"}},{"Add":{"text":" | Lwt.Sleep ->","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24692"}},{"Add":{"text":" let id = host_wait () in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24725"}},{"Add":{"text":" (if id >= 0 then","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24750"}},{"Add":{"text":" match Hashtbl.find_opt tbl id with","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24796"}},{"Add":{"text":" | Some r -> Hashtbl.remove tbl id; Lwt.wakeup r (host_result id)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24872"}},{"Add":{"text":" | None -> ());","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24898"}},{"Add":{"text":" loop ()","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24914"}},{"Add":{"text":" in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24919"}},{"Add":{"text":" loop ()","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24929"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24930"}},{"Add":{"text":"open Lwt.Infix","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24945"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24946"}},{"Add":{"text":"let () =","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24955"}},{"Add":{"text":" let t0 = now_ms () in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24979"}},{"Add":{"text":" let rs, elapsed =","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:24999"}},{"Add":{"text":" run (Lwt.all [ h 300; h 100 ] >>= fun rs -> Lwt.return (rs, now_ms () - t0))","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25080"}},{"Add":{"text":" in","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25085"}},{"Add":{"text":" host_emit","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25097"}},{"Add":{"text":" (Printf.sprintf \"Lwt.all [h 300; h 100] = [%s]; elapsed = %d ms (%s)\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25172"}},{"Add":{"text":" (String.concat \";\" (List.map string_of_int rs))","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25227"}},{"Add":{"text":" elapsed","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25242"}},{"Add":{"text":" (if elapsed < 350 then \"OVERLAP OK — max not sum(=400)\" else \"NO OVERLAP\"));","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25328"}},{"Add":{"text":" try ignore (open_out \"leak.tmp\")","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25363"}},{"Add":{"text":" with Failure m | Sys_error m -> host_emit (\"open_out denied: \" ^ m)","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25433"}}]}},{"FileAdd":{"meta":{"basename":"build.rs","metadata":0},"context":[{"change":0,"pos":20837}],"contents":[{"Add":{"text":"use ocaml_vm_build as vm;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25494"}},{"Add":{"text":"use std::path::PathBuf;","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25518"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25519"}},{"Add":{"text":"fn main() {","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25531"}},{"Add":{"text":" let out = PathBuf::from(std::env::var(\"OUT_DIR\").unwrap());","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25595"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25596"}},{"Add":{"text":" // The IO primitives to deny (Unix/socket/exec are already absent — not linked).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25683"}},{"Add":{"text":" let denylist = [","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25704"}},{"Add":{"text":" \"caml_sys_open\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25729"}},{"Add":{"text":" \"caml_sys_remove\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25756"}},{"Add":{"text":" \"caml_sys_rename\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25783"}},{"Add":{"text":" \"caml_sys_system_command\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25818"}},{"Add":{"text":" // NB: caml_sys_getenv is read at runtime/Lwt startup; in production it","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25898"}},{"Add":{"text":" // gets a Not_found-returning stub (hermetic: no env visible), not a hard","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:25980"}},{"Add":{"text":" // deny. Left allowed here so the async proof isn't about env policy.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26058"}},{"Add":{"text":" \"caml_sys_chdir\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26084"}},{"Add":{"text":" \"caml_sys_mkdir\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26110"}},{"Add":{"text":" \"caml_sys_rmdir\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26136"}},{"Add":{"text":" \"caml_sys_read_directory\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26171"}},{"Add":{"text":" ];","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26178"}},{"Add":{"text":" // Host primitives this binary provides (see src/main.rs).","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26241"}},{"Add":{"text":" let host_prims = [","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26264"}},{"Add":{"text":" \"host_emit\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26285"}},{"Add":{"text":" \"host_start\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26307"}},{"Add":{"text":" \"host_wait\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26328"}},{"Add":{"text":" \"host_result\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26351"}},{"Add":{"text":" \"host_now_ms\",","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26374"}},{"Add":{"text":" ];","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26381"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26382"}},{"Add":{"text":" // Curated table -> object -> linked into this binary.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26441"}},{"Add":{"text":" let table_c = vm::generate_table(&out, &denylist, &host_prims);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26509"}},{"Add":{"text":" let table_o = vm::compile_c(&table_c, &out);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26558"}},{"Add":{"text":" println!(\"cargo:rustc-link-arg={}\", table_o.display());","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26618"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26619"}},{"Add":{"text":" // Compile the demo bytecode against the matching primitive set.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26688"}},{"Add":{"text":" let use_prims = vm::write_use_prims(&out, &host_prims);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26748"}},{"Add":{"text":" let bytecode = out.join(\"test.byte\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26790"}},{"Add":{"text":" vm::compile_bytecode(\"ocaml/test.ml\".as_ref(), &use_prims, &[\"lwt\"], &bytecode);","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26875"}},{"Add":{"text":" println!(\"cargo:rustc-env=DEMO_BYTECODE={}\", bytecode.display());","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26945"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:26946"}},{"Add":{"text":" println!(\"cargo:rerun-if-changed=ocaml/test.ml\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27000"}},{"Add":{"text":" println!(\"cargo:rerun-if-changed=build.rs\");","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27049"}},{"Add":{"text":"}","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27051"}}]}},{"FileAdd":{"meta":{"basename":"Cargo.toml","metadata":0},"context":[{"change":0,"pos":20837}],"contents":[{"Add":{"text":"[package]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27098"}},{"Add":{"text":"name = \"demo\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27112"}},{"Add":{"text":"version = \"0.1.0\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27130"}},{"Add":{"text":"edition = \"2021\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27147"}},{"Add":{"text":"build = \"build.rs\"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27166"}},{"Add":{"text":"# Stands in for the future Elpe host: defines the concrete host primitives and","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27245"}},{"Add":{"text":"# drives the VM. Also directly depends on -sys so its build.rs sees the runtime","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27325"}},{"Add":{"text":"# link, and on -build to generate the table + compile the demo bytecode.","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27398"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27399"}},{"Add":{"text":"[dependencies]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27414"}},{"Add":{"text":"ocaml-vm = { path = \"../ocaml-vm\" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27450"}},{"Add":{"text":"ocaml-vm-sys = { path = \"../ocaml-vm-sys\" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27494"}},{"Add":{"text":"","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27495"}},{"Add":{"text":"[build-dependencies]","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27516"}},{"Add":{"text":"ocaml-vm-build = { path = \"../ocaml-vm-build\" }","pos":"7J54GGTWZKM5Y4K24D5GO7XZJGTVUJJPB6CFE54YN3L2YIHEDWDAC:27564"}}]}}],"owner":"pmeunier","repo":"elpe","token":"GV6QZ/+C2IzeWCtWrQx8E3R/e19beysM4aRJFBhrntI=","login":null}

…

Dependencies

Change contents

Review