#include <perms.h>
extern void FLOAT1(double N);
extern float FLOAT2(double N);