Recipe for time-ext