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

    main()
    {
    READY PERS;
    START_TRANSACTION READ_ONLY;

    START_STREAM CURRENT_INF_STREAM USING
       CI IN CURRENT_INFO SORTED BY DESC CI.SALARY;
       FETCH CURRENT_INF_STREAM;
          printf ("%s makes the largest salary!\n", CI.LAST_NAME);
    END_STREAM CURRENT_INF_STREAM;

    COMMIT;
    FINISH;
    }