more fiddling with verilog types