+/* Map shared a file at an unconstrained address for V, and update the
+ segment array accordingly. This is used by V for communicating
+ with vgdb. */
+extern SysRes VG_(am_shared_mmap_file_float_valgrind)
+ ( SizeT length, UInt prot, Int fd, Off64T offset );
+