add write_board_to_binfile()