#include <perms.h>
void XR1(int P1) {
  _imp_enter();
  float R1;

  _imp_leave();
}
void XR2(int P1, int P2, int P3, int P4) {
  _imp_enter();
  float R1;

  _imp_leave();
}
void XR3(int P1, int P2, float R1, float R2) {
  _imp_enter();
  float R3;

  _imp_leave();
}