Matthew's experiments with Verilator