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

    main()
    {
    READY PERS;
    START_TRANSACTION READ_WRITE;

    FOR C IN COLLEGES
       WITH C.STATE MISSING
       AND C.COLLEGE_CODE NOT MISSING;
          printf ("State Missing for COLLEGE:  %s\n", C.COLLEGE_CODE);
    END_FOR;

    COMMIT;
    FINISH;
    }