#include <stdio.h>
    DATABASE PERS = FILENAME "PERSONNEL";

    main()
    {
    READY PERS;
    START_TRANSACTION READ_WRITE;

    FOR CS IN CURRENT_SALARY
       WITH CS.SALARY_AMOUNT
       BETWEEN 10000.00 AND 20000.00
          printf ("%s %f\n", CS.LAST_NAME, CS.SALARY_AMOUNT);
    END_FOR;

    COMMIT;
    FINISH;
    }