Experiment: Porting a PLC Expl... Note