flush_binary takes now const arguments