KR: add C and OCaml solutions