/usr/src/lib/libtsol/spec/