execution: PASS
Tested implicitly via assertions 2,3 and 4  of pthread_mutexattr_settype().  See output for status