(module Perms.Stable)