#include <perms.h>
static void R10(int *A, int K) {
  _imp_enter();

  _imp_leave();
}