#include <stdio.h>
    DATABASE PERS = FILENAME "PERSONNEL";
                         .
                         .
                         .
    main ()
    {
    READY PERS;
                         .
                         .
                         .

    FINISH PERS;
    }