src/share/examples/ses/getencstat
