#include <perms.h>
void Xr1(int P1) { float R1; }
void Xr2(int P1, int P2, int P3, int P4) { float R1; }
void Xr3(int P1, int P2, float R1, float R2) { float R3; }