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

    DECLARE_VARIABLE maxi SAME AS PERS.CURRENT_INFO.SALARY;

    main()
    {
    READY PERS;
    START_TRANSACTION READ_ONLY;

    GET
       maxi = MAX CI.SALARY OF CI IN CURRENT_INFO;
    END_GET;

    printf ("%f",maxi);
    COMMIT;
    FINISH;
    }