fixed syntax, still need to testbench