mono_read16 (const unsigned char * x)
{
  unsigned char D.7219;
  const unsigned char * D.7220;
  unsigned char D.7221;
  guint16 D.7222;
  union mono_rint16 r;

  try
    {
      D.7219 = *x;
      r.c[0] = D.7219;
      D.7220 = x + 1;
      D.7221 = *D.7220;
      r.c[1] = D.7221;
      D.7222 = r.i;
      return D.7222;
    }
  finally
    {
      r = {CLOBBER};
    }
}


mono_read32 (const unsigned char * x)
{
  unsigned char D.7225;
  const unsigned char * D.7226;
  unsigned char D.7227;
  const unsigned char * D.7228;
  unsigned char D.7229;
  const unsigned char * D.7230;
  unsigned char D.7231;
  guint32 D.7232;
  union mono_rint32 r;

  try
    {
      D.7225 = *x;
      r.c[0] = D.7225;
      D.7226 = x + 1;
      D.7227 = *D.7226;
      r.c[1] = D.7227;
      D.7228 = x + 2;
      D.7229 = *D.7228;
      r.c[2] = D.7229;
      D.7230 = x + 3;
      D.7231 = *D.7230;
      r.c[3] = D.7231;
      D.7232 = r.i;
      return D.7232;
    }
  finally
    {
      r = {CLOBBER};
    }
}


mono_read64 (const unsigned char * x)
{
  unsigned char D.7235;
  const unsigned char * D.7236;
  unsigned char D.7237;
  const unsigned char * D.7238;
  unsigned char D.7239;
  const unsigned char * D.7240;
  unsigned char D.7241;
  const unsigned char * D.7242;
  unsigned char D.7243;
  const unsigned char * D.7244;
  unsigned char D.7245;
  const unsigned char * D.7246;
  unsigned char D.7247;
  const unsigned char * D.7248;
  unsigned char D.7249;
  guint64 D.7250;
  union mono_rint64 r;

  try
    {
      D.7235 = *x;
      r.c[0] = D.7235;
      D.7236 = x + 1;
      D.7237 = *D.7236;
      r.c[1] = D.7237;
      D.7238 = x + 2;
      D.7239 = *D.7238;
      r.c[2] = D.7239;
      D.7240 = x + 3;
      D.7241 = *D.7240;
      r.c[3] = D.7241;
      D.7242 = x + 4;
      D.7243 = *D.7242;
      r.c[4] = D.7243;
      D.7244 = x + 5;
      D.7245 = *D.7244;
      r.c[5] = D.7245;
      D.7246 = x + 6;
      D.7247 = *D.7246;
      r.c[6] = D.7247;
      D.7248 = x + 7;
      D.7249 = *D.7248;
      r.c[7] = D.7249;
      D.7250 = r.i;
      return D.7250;
    }
  finally
    {
      r = {CLOBBER};
    }
}