https://blog.wongcw.com/2020/10/21/%e3%80%8a-simple-zazen-timer-%e3%80%8b%e9%99%90%e6%99%82%e5%85%8d%e8%b2%bb/