Miscellaneous bits of VHDL code