let _ = (((Format.set_formatter_out_channel (open_out_bin "lib/Hacl_Frodo976_stubs.ml"); Cstubs.write_ml Format.std_formatter ~prefix:"" (module Hacl_Frodo976_bindings.Bindings)); Format.set_formatter_out_channel (open_out_bin "lib/Hacl_Frodo976_c_stubs.c")); Format.printf "#include \"Hacl_Frodo976.h\"\n"); Cstubs.write_c Format.std_formatter ~prefix:"" (module Hacl_Frodo976_bindings.Bindings)