add sodium spec example and etc.