Import verilator 3.844