This is used for VHDL