let _ = (((Format.set_formatter_out_channel (open_out_bin "lib/Hacl_Streaming_MD5_stubs.ml"); Cstubs.write_ml Format.std_formatter ~prefix:"" (module Hacl_Streaming_MD5_bindings.Bindings)); Format.set_formatter_out_channel (open_out_bin "lib/Hacl_Streaming_MD5_c_stubs.c")); Format.printf "#include \"Hacl_Streaming_MD5.h\"\n"); Cstubs.write_c Format.std_formatter ~prefix:"" (module Hacl_Streaming_MD5_bindings.Bindings)