2 files changed, 13 insertions, 0 deletions
diff --git a/src/lib/Time.rs b/src/lib/Time.rs
new file mode 100644
index 00000000..70a12a6f
--- /dev/null
+++ b/src/lib/Time.rs
@@ -0,0 +1,12 @@
+native "rust" mod rustrt {
+    fn get_time(&mutable u32 sec, &mutable u32 usec);
+}
+
+type timeval = rec(u32 sec, u32 usec);
+
+fn get_time() -> timeval {
+    let timeval res = rec(sec=0u32, usec=0u32);
+    rustrt.get_time(res.sec, res.usec);
+    ret res;
+}
+
diff --git a/src/lib/std.rc b/src/lib/std.rc
index 4efff14b..44a0689c 100644
--- a/src/lib/std.rc
+++ b/src/lib/std.rc
@@ -76,6 +76,7 @@ mod ExtFmt;
 mod Box;
 mod GetOpts;
 mod Term;
+mod Time;
 
 // Local Variables:
 // mode: rust;