The OCaml manual states:
As another optimization, unboxable record types are represented specially; unboxable record types are the immutable record types tha
