#include <perms.h>
extern void FRED1(int PARAM1, unsigned char PARAM2, unsigned char PARAM3,
                  short PARAM4, unsigned short PARAM5, short PARAM6,
                  char PARAM7, int PARAM8, float PARAM9, double PARAM10,
                  long double PARAM11);
