generate_sen.sh

#!/bin/sh -e

echo 'enum {'
echo 'SEN_printargs = 0,'
    sed -r -n '/printargs/! s/.*SEN\(([^)]+)\).*/\1/p' |
    sort -u |
    sed 's/.*/SEN_&,/'
echo '};'