use verilog style array sizes