Added the functions that should go in C. Look at file vectorization.ml