(export
 current-jiffy current-second jiffies-per-second)
