#include "threads_impl.h"

int pthread_mutex_setprioceiling(pthread_mutex_t* restrict m, int ceiling, int* restrict old) {
    return EINVAL;
}