Examples of SCP programs in SCs form