let max t t' = if t >= t' then t else t'