map_Mono_Posix_OpenFlags (int x)
{
  int D.6786;
  int D.6789;
  int D.6792;
  int D.6795;
  int D.6798;
  int D.6801;
  int D.6804;
  int D.6807;
  int D.6810;
  int D.6813;
  int r;

  r = 0;
  if (0 != 0) goto <D.6784>; else goto <D.6785>;
  <D.6784>:
  r = r;
  <D.6785>:
  D.6786 = x & 1;
  if (D.6786 != 0) goto <D.6787>; else goto <D.6788>;
  <D.6787>:
  r = r | 1;
  <D.6788>:
  D.6789 = x & 2;
  if (D.6789 != 0) goto <D.6790>; else goto <D.6791>;
  <D.6790>:
  r = r | 2;
  <D.6791>:
  D.6792 = x & 4;
  if (D.6792 != 0) goto <D.6793>; else goto <D.6794>;
  <D.6793>:
  r = r | 64;
  <D.6794>:
  D.6795 = x & 8;
  if (D.6795 != 0) goto <D.6796>; else goto <D.6797>;
  <D.6796>:
  r = r | 128;
  <D.6797>:
  D.6798 = x & 16;
  if (D.6798 != 0) goto <D.6799>; else goto <D.6800>;
  <D.6799>:
  r = r | 256;
  <D.6800>:
  D.6801 = x & 32;
  if (D.6801 != 0) goto <D.6802>; else goto <D.6803>;
  <D.6802>:
  r = r | 512;
  <D.6803>:
  D.6804 = x & 64;
  if (D.6804 != 0) goto <D.6805>; else goto <D.6806>;
  <D.6805>:
  r = r | 1024;
  <D.6806>:
  D.6807 = x & 128;
  if (D.6807 != 0) goto <D.6808>; else goto <D.6809>;
  <D.6808>:
  r = r | 2048;
  <D.6809>:
  D.6810 = x & 256;
  if (D.6810 != 0) goto <D.6811>; else goto <D.6812>;
  <D.6811>:
  r = r | 1052672;
  <D.6812>:
  D.6813 = r;
  return D.6813;
}


map_Mono_Posix_FileMode (int x)
{
  int D.6815;
  int D.6818;
  int D.6821;
  int D.6824;
  int D.6827;
  int D.6830;
  int D.6833;
  int D.6836;
  int D.6839;
  int D.6842;
  int D.6845;
  int D.6848;
  int D.6851;
  int r;

  r = 0;
  D.6815 = x & 2048;
  if (D.6815 != 0) goto <D.6816>; else goto <D.6817>;
  <D.6816>:
  r = r | 2048;
  <D.6817>:
  D.6818 = x & 1024;
  if (D.6818 != 0) goto <D.6819>; else goto <D.6820>;
  <D.6819>:
  r = r | 1024;
  <D.6820>:
  D.6821 = x & 512;
  if (D.6821 != 0) goto <D.6822>; else goto <D.6823>;
  <D.6822>:
  r = r | 512;
  <D.6823>:
  D.6824 = x & 256;
  if (D.6824 != 0) goto <D.6825>; else goto <D.6826>;
  <D.6825>:
  r = r | 256;
  <D.6826>:
  D.6827 = x & 128;
  if (D.6827 != 0) goto <D.6828>; else goto <D.6829>;
  <D.6828>:
  r = r | 128;
  <D.6829>:
  D.6830 = x & 64;
  if (D.6830 != 0) goto <D.6831>; else goto <D.6832>;
  <D.6831>:
  r = r | 64;
  <D.6832>:
  D.6833 = x & 32;
  if (D.6833 != 0) goto <D.6834>; else goto <D.6835>;
  <D.6834>:
  r = r | 32;
  <D.6835>:
  D.6836 = x & 16;
  if (D.6836 != 0) goto <D.6837>; else goto <D.6838>;
  <D.6837>:
  r = r | 16;
  <D.6838>:
  D.6839 = x & 8;
  if (D.6839 != 0) goto <D.6840>; else goto <D.6841>;
  <D.6840>:
  r = r | 8;
  <D.6841>:
  D.6842 = x & 4;
  if (D.6842 != 0) goto <D.6843>; else goto <D.6844>;
  <D.6843>:
  r = r | 4;
  <D.6844>:
  D.6845 = x & 2;
  if (D.6845 != 0) goto <D.6846>; else goto <D.6847>;
  <D.6846>:
  r = r | 2;
  <D.6847>:
  D.6848 = x & 1;
  if (D.6848 != 0) goto <D.6849>; else goto <D.6850>;
  <D.6849>:
  r = r | 1;
  <D.6850>:
  D.6851 = r;
  return D.6851;
}


map_Mono_Posix_WaitOptions (int x)
{
  int D.6855;
  int D.6858;
  int r;

  r = 0;
  if (0 != 0) goto <D.6853>; else goto <D.6854>;
  <D.6853>:
  r = r | 1;
  <D.6854>:
  D.6855 = x & 1;
  if (D.6855 != 0) goto <D.6856>; else goto <D.6857>;
  <D.6856>:
  r = r | 2;
  <D.6857>:
  D.6858 = r;
  return D.6858;
}


map_Mono_Posix_AccessMode (int x)
{
  int D.6860;
  int D.6863;
  int D.6866;
  int D.6869;
  int D.6872;
  int r;

  r = 0;
  D.6860 = x & 1;
  if (D.6860 != 0) goto <D.6861>; else goto <D.6862>;
  <D.6861>:
  r = r | 4;
  <D.6862>:
  D.6863 = x & 2;
  if (D.6863 != 0) goto <D.6864>; else goto <D.6865>;
  <D.6864>:
  r = r | 2;
  <D.6865>:
  D.6866 = x & 4;
  if (D.6866 != 0) goto <D.6867>; else goto <D.6868>;
  <D.6867>:
  r = r | 1;
  <D.6868>:
  D.6869 = x & 8;
  if (D.6869 != 0) goto <D.6870>; else goto <D.6871>;
  <D.6870>:
  r = r;
  <D.6871>:
  D.6872 = r;
  return D.6872;
}


map_Mono_Posix_Signals (int x)
{
  int D.6876;

  if (x == 0) goto <D.6874>; else goto <D.6875>;
  <D.6874>:
  D.6876 = 1;
  return D.6876;
  <D.6875>:
  if (x == 1) goto <D.6877>; else goto <D.6878>;
  <D.6877>:
  D.6876 = 2;
  return D.6876;
  <D.6878>:
  if (x == 2) goto <D.6879>; else goto <D.6880>;
  <D.6879>:
  D.6876 = 3;
  return D.6876;
  <D.6880>:
  if (x == 3) goto <D.6881>; else goto <D.6882>;
  <D.6881>:
  D.6876 = 4;
  return D.6876;
  <D.6882>:
  if (x == 4) goto <D.6883>; else goto <D.6884>;
  <D.6883>:
  D.6876 = 5;
  return D.6876;
  <D.6884>:
  if (x == 5) goto <D.6885>; else goto <D.6886>;
  <D.6885>:
  D.6876 = 6;
  return D.6876;
  <D.6886>:
  if (x == 6) goto <D.6887>; else goto <D.6888>;
  <D.6887>:
  D.6876 = 7;
  return D.6876;
  <D.6888>:
  if (x == 7) goto <D.6889>; else goto <D.6890>;
  <D.6889>:
  D.6876 = 8;
  return D.6876;
  <D.6890>:
  if (x == 8) goto <D.6891>; else goto <D.6892>;
  <D.6891>:
  D.6876 = 9;
  return D.6876;
  <D.6892>:
  if (x == 9) goto <D.6893>; else goto <D.6894>;
  <D.6893>:
  D.6876 = 10;
  return D.6876;
  <D.6894>:
  if (x == 10) goto <D.6895>; else goto <D.6896>;
  <D.6895>:
  D.6876 = 11;
  return D.6876;
  <D.6896>:
  if (x == 11) goto <D.6897>; else goto <D.6898>;
  <D.6897>:
  D.6876 = 12;
  return D.6876;
  <D.6898>:
  if (x == 12) goto <D.6899>; else goto <D.6900>;
  <D.6899>:
  D.6876 = 13;
  return D.6876;
  <D.6900>:
  if (x == 13) goto <D.6901>; else goto <D.6902>;
  <D.6901>:
  D.6876 = 14;
  return D.6876;
  <D.6902>:
  if (x == 14) goto <D.6903>; else goto <D.6904>;
  <D.6903>:
  D.6876 = 15;
  return D.6876;
  <D.6904>:
  if (x == 15) goto <D.6905>; else goto <D.6906>;
  <D.6905>:
  D.6876 = 17;
  return D.6876;
  <D.6906>:
  if (x == 16) goto <D.6907>; else goto <D.6908>;
  <D.6907>:
  D.6876 = 18;
  return D.6876;
  <D.6908>:
  if (x == 17) goto <D.6909>; else goto <D.6910>;
  <D.6909>:
  D.6876 = 19;
  return D.6876;
  <D.6910>:
  if (x == 18) goto <D.6911>; else goto <D.6912>;
  <D.6911>:
  D.6876 = 20;
  return D.6876;
  <D.6912>:
  if (x == 19) goto <D.6913>; else goto <D.6914>;
  <D.6913>:
  D.6876 = 21;
  return D.6876;
  <D.6914>:
  if (x == 20) goto <D.6915>; else goto <D.6916>;
  <D.6915>:
  D.6876 = 22;
  return D.6876;
  <D.6916>:
  if (x == 21) goto <D.6917>; else goto <D.6918>;
  <D.6917>:
  D.6876 = 23;
  return D.6876;
  <D.6918>:
  if (x == 22) goto <D.6919>; else goto <D.6920>;
  <D.6919>:
  D.6876 = 24;
  return D.6876;
  <D.6920>:
  if (x == 23) goto <D.6921>; else goto <D.6922>;
  <D.6921>:
  D.6876 = 25;
  return D.6876;
  <D.6922>:
  if (x == 24) goto <D.6923>; else goto <D.6924>;
  <D.6923>:
  D.6876 = 26;
  return D.6876;
  <D.6924>:
  if (x == 25) goto <D.6925>; else goto <D.6926>;
  <D.6925>:
  D.6876 = 27;
  return D.6876;
  <D.6926>:
  if (x == 26) goto <D.6927>; else goto <D.6928>;
  <D.6927>:
  D.6876 = 28;
  return D.6876;
  <D.6928>:
  if (x == 27) goto <D.6929>; else goto <D.6930>;
  <D.6929>:
  D.6876 = 29;
  return D.6876;
  <D.6930>:
  if (x == 28) goto <D.6931>; else goto <D.6932>;
  <D.6931>:
  D.6876 = 31;
  return D.6876;
  <D.6932>:
  D.6876 = -1;
  return D.6876;
}


map_Mono_Posix_PollEvents (int x)
{
  int D.6934;
  int D.6937;
  int D.6940;
  int D.6943;
  int D.6946;
  int D.6949;
  int D.6952;
  int r;

  r = 0;
  D.6934 = x & 2;
  if (D.6934 != 0) goto <D.6935>; else goto <D.6936>;
  <D.6935>:
  r = r | 1;
  <D.6936>:
  D.6937 = x & 3;
  if (D.6937 != 0) goto <D.6938>; else goto <D.6939>;
  <D.6938>:
  r = r | 2;
  <D.6939>:
  D.6940 = x & 4;
  if (D.6940 != 0) goto <D.6941>; else goto <D.6942>;
  <D.6941>:
  r = r | 4;
  <D.6942>:
  D.6943 = x & 5;
  if (D.6943 != 0) goto <D.6944>; else goto <D.6945>;
  <D.6944>:
  r = r | 8;
  <D.6945>:
  D.6946 = x & 6;
  if (D.6946 != 0) goto <D.6947>; else goto <D.6948>;
  <D.6947>:
  r = r | 16;
  <D.6948>:
  D.6949 = x & 7;
  if (D.6949 != 0) goto <D.6950>; else goto <D.6951>;
  <D.6950>:
  r = r | 32;
  <D.6951>:
  D.6952 = r;
  return D.6952;
}