--- a/model/dce-fd.cc	Fri Jul 06 18:49:39 2012 +0900
+++ b/model/dce-fd.cc	Sun Jul 08 07:58:48 2012 +0900
@@ -652,6 +652,14 @@
   */ 
   OPENED_FD_METHOD (int, Ftruncate (length) )  
 }
+int dce_ftruncate64 (int fd, off_t length)
+{
+  Thread *current = Current ();
+  NS_ASSERT (current != 0);
+  NS_LOG_FUNCTION (current << UtilsGetNodeId () << fd << length);
+  return dce_ftruncate (fd, length);
+}
+
 int dce_pipe(int pipefd[2])
 {
   Thread *current = Current ();

--- a/model/dce-unistd.h	Fri Jul 06 18:49:39 2012 +0900
+++ b/model/dce-unistd.h	Sun Jul 08 07:58:48 2012 +0900
@@ -59,6 +59,7 @@
 
 int dce_truncate (const char *path, off_t length);
 int dce_ftruncate (int fd, off_t length);
+int dce_ftruncate64 (int fd, off_t length);
 	
 void *dce_sbrk(intptr_t increment);
 int dce_getpagesize(void);

--- a/model/libc-ns3.h	Fri Jul 06 18:49:39 2012 +0900
+++ b/model/libc-ns3.h	Sun Jul 08 07:58:48 2012 +0900
@@ -220,6 +220,7 @@
 DCE (execle)
 DCE (truncate)
 DCE (ftruncate)
+DCE (ftruncate64)
 NATIVE (sysconf)
 DCE (ttyname)
 DCE (sbrk)