work counter32.vhd