__attribute__((visibility ("hidden")))
mono_sigctx_to_monoctx (void * ctx, struct MonoContext * mctx)
{
  memcpy (mctx, ctx, 512);
}


__attribute__((__artificial__, __gnu_inline__, __always_inline__, __nothrow__, __leaf__))
memcpy (void * restrict __dest, const void * restrict __src, size_t __len)
{
  void * D.6431;
  long unsigned int D.6432;

  D.6432 = __builtin_object_size (__dest, 0);
  D.6431 = __builtin___memcpy_chk (__dest, __src, __len, D.6432);
  return D.6431;
}


__attribute__((visibility ("hidden")))
mono_monoctx_to_sigctx (struct MonoContext * mctx, void * ctx)
{
  memcpy (ctx, mctx, 512);
}