Benedictus — male given name