Writing binary data with Verilator