#include <stdio.h>

    DATABASE PERS = FILENAME "PERSONNEL";

    int who;

    main()
    {
    READY PERS;
    START_TRANSACTION READ_ONLY;

    GET
     who = ANY SH IN SALARY_HISTORY WITH SH.SALARY_AMOUNT > 50000.00;
    END_GET;

    COMMIT;

    if (who)
        printf ("Someone is not underpaid \n");

    FINISH;
    }