public static void sleep(Duration duration) { try { long ticks = duration.m_ticks; System.Threading.Thread.Sleep(new System.TimeSpan(ticks/100)); } catch (ThreadInterruptedException e) { throw InterruptedErr.make(e).val; } }