compliant with Core.Std