Examples of PARUS programs