A few examples of PSHDL code