#include <perms.h>
extern void FRED(
    /*TO DO: Procedure parameter at line 4154*/
);