Rethinking the C Time API