(module Span.Stable)