mono_read16 (const unsigned char * x)
{
  unsigned char D.4630;
  char D.4631;
  const unsigned char * D.4632;
  unsigned char D.4633;
  char D.4634;
  guint16 D.4635;
  union mono_rint16 r;

  try
    {
      D.4630 = *x;
      D.4631 = (char) D.4630;
      r.c[0] = D.4631;
      D.4632 = x + 1;
      D.4633 = *D.4632;
      D.4634 = (char) D.4633;
      r.c[1] = D.4634;
      D.4635 = r.i;
      return D.4635;
    }
  finally
    {
      r = {CLOBBER};
    }
}


mono_read32 (const unsigned char * x)
{
  unsigned char D.4638;
  char D.4639;
  const unsigned char * D.4640;
  unsigned char D.4641;
  char D.4642;
  const unsigned char * D.4643;
  unsigned char D.4644;
  char D.4645;
  const unsigned char * D.4646;
  unsigned char D.4647;
  char D.4648;
  guint32 D.4649;
  union mono_rint32 r;

  try
    {
      D.4638 = *x;
      D.4639 = (char) D.4638;
      r.c[0] = D.4639;
      D.4640 = x + 1;
      D.4641 = *D.4640;
      D.4642 = (char) D.4641;
      r.c[1] = D.4642;
      D.4643 = x + 2;
      D.4644 = *D.4643;
      D.4645 = (char) D.4644;
      r.c[2] = D.4645;
      D.4646 = x + 3;
      D.4647 = *D.4646;
      D.4648 = (char) D.4647;
      r.c[3] = D.4648;
      D.4649 = r.i;
      return D.4649;
    }
  finally
    {
      r = {CLOBBER};
    }
}


mono_read64 (const unsigned char * x)
{
  unsigned char D.4652;
  char D.4653;
  const unsigned char * D.4654;
  unsigned char D.4655;
  char D.4656;
  const unsigned char * D.4657;
  unsigned char D.4658;
  char D.4659;
  const unsigned char * D.4660;
  unsigned char D.4661;
  char D.4662;
  const unsigned char * D.4663;
  unsigned char D.4664;
  char D.4665;
  const unsigned char * D.4666;
  unsigned char D.4667;
  char D.4668;
  const unsigned char * D.4669;
  unsigned char D.4670;
  char D.4671;
  const unsigned char * D.4672;
  unsigned char D.4673;
  char D.4674;
  guint64 D.4675;
  union mono_rint64 r;

  try
    {
      D.4652 = *x;
      D.4653 = (char) D.4652;
      r.c[0] = D.4653;
      D.4654 = x + 1;
      D.4655 = *D.4654;
      D.4656 = (char) D.4655;
      r.c[1] = D.4656;
      D.4657 = x + 2;
      D.4658 = *D.4657;
      D.4659 = (char) D.4658;
      r.c[2] = D.4659;
      D.4660 = x + 3;
      D.4661 = *D.4660;
      D.4662 = (char) D.4661;
      r.c[3] = D.4662;
      D.4663 = x + 4;
      D.4664 = *D.4663;
      D.4665 = (char) D.4664;
      r.c[4] = D.4665;
      D.4666 = x + 5;
      D.4667 = *D.4666;
      D.4668 = (char) D.4667;
      r.c[5] = D.4668;
      D.4669 = x + 6;
      D.4670 = *D.4669;
      D.4671 = (char) D.4670;
      r.c[6] = D.4671;
      D.4672 = x + 7;
      D.4673 = *D.4672;
      D.4674 = (char) D.4673;
      r.c[7] = D.4674;
      D.4675 = r.i;
      return D.4675;
    }
  finally
    {
      r = {CLOBBER};
    }
}