Map OCaml arrays onto C-like structs via a syntax extension, and generate functions to convert to-and-from native OCaml values.