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

    main ()
    {
    READY PERS;
    START_TRANSACTION READ_ONLY;

    FOR E IN EMPLOYEES
       REDUCED TO E.STATE
       SORTED BY E.STATE
          printf("%s\n", E.STATE);
    END_FOR;

    COMMIT;
    FINISH;
    }