The text a83d4f1a701a, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
SELinux Management API
semanage_user_exists(3) on Linux now
