#include <perms.h>
void RV(char int *ARRAY2D, *L, *X, *Y, int K) {
  _imp_enter();
  int I;
  int J;
  int E = 0;
  for (I = 1; I != L + 1; I += 1) {
    for (J = X; J != Y + 1; J += 1) {
      if (ARRAY2D != I * K + 100 + J * 100) E = 1;
    }
  }
  if (E == 0) /*ERROR: name_sym_idx is -1!*/ /*C_NAME*/
    ;
  else /*ERROR: name_sym_idx is -1!*/ /*C_NAME*/
    ;
  _imp_leave();
}