A time library