(:redirect Doc.ENUMDatatype quiet=1:)