(module Day_of_week.Stable)