The time() API