Made a slightly more general example in ATS when clocks aren't necessarily given by the user.