#include <pthread.h>
#include <pthread_np.h>
int main(int argc, char **argv) {
    pthread_set_name_np(pthread_self(), "ducks");
    return 0;
}