Works with ghdl