# \#header

**URL:** https://discuss.ocaml.org/tag/header/66.md

[Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md)

---

## [Install C headers for C library](https://discuss.ocaml.org/t/install-c-headers-for-c-library/13405)

<div class="topic-metadata">

**Author:** [@\_II](https://discuss.ocaml.org/u/_II)\
**Replies:** 2\
**Last updated:** [November 13, 2023, 10:57am UTC](https://discuss.ocaml.org/t/install-c-headers-for-c-library/13405 "2023-11-13T10:57:24Z")

</div>

Hello, In my setup, I have Coq extract to OCaml which I then compile as a C library with the following setup: (coq.extraction (prelude bitflip) (extracted\_modules bitflip)) (executable (name CAPI) (foreign\_stubs (…

---

## [Should 32-bit OCaml's header format allow arbitrary sizes?](https://discuss.ocaml.org/t/should-32-bit-ocamls-header-format-allow-arbitrary-sizes/661)

<div class="topic-metadata">

**Author:** [@bluddy](https://discuss.ocaml.org/u/bluddy)\
**Replies:** 1\
**Last updated:** [August 5, 2017, 9:20am UTC](https://discuss.ocaml.org/t/should-32-bit-ocamls-header-format-allow-arbitrary-sizes/661 "2017-08-05T09:20:27Z")

</div>

I’d like to float this idea and see what the community thinks. As you may or may not know, 32-bit OCaml has some data structure size limitations due to its header design. Only 22 bits are allocated for the size field, al…