(module Ofday.Stable)