MaPTHREAD_MUTEXATTR_SETROBUST(category7-pop3.html) - phpMan