let store_file f_write file v =
  let oc = open_out_bin file in
  f_write oc v;
  flush oc;
  close_out oc