semanage_user_exists(3) on Linux

The text 7cefcb03cac7, as Debian 4.0 (Etch) shipped it.

semanage_user_exists(3) on Linux now