+ gint64 r;
+ mph_return_if_size_t_overflow (len);
+ r = readlink (path, (char*) buf, (size_t) len);
+ if (r >= 0 && r < len)
+ buf [r] = '\0';
+ return r;
+}
+
+#ifdef HAVE_READLINKAT
+gint64
+Mono_Posix_Syscall_readlinkat (int dirfd, const char *path, unsigned char *buf, mph_size_t len)
+{
+ gint64 r;