first attempt at adding clocking to PS7 generated code