24    int r;  in child_fn1()  local
27    r= pthread_mutex_lock(&mx1a);  assert(!r);  in child_fn1()
28    r= pthread_mutex_lock(&mx1b);  assert(!r);  in child_fn1()
30    r= pthread_mutex_unlock(&mx1b);  assert(!r);  in child_fn1()
31    r= pthread_mutex_unlock(&mx1a);  assert(!r);  in child_fn1()
32    r= pthread_mutex_destroy(&mx1a);  assert(!r);  in child_fn1()
39    int r;  in child_fn2()  local
43    r= pthread_mutex_lock(&mx2a);  assert(!r);  in child_fn2()
44    r= pthread_mutex_lock(&mx2b);  assert(!r);  in child_fn2()
46    r= pthread_mutex_unlock(&mx2b);  assert(!r);  in child_fn2()
47    r= pthread_mutex_unlock(&mx2a);  assert(!r);  in child_fn2()
54    int r;  in main()  local
56    r= pthread_mutex_init(&mx1a, NULL);  assert(!r);  in main()
57    r= pthread_mutex_init(&mx1b, NULL);  assert(!r);  in main()
58    r= pthread_mutex_init(&mx2a, NULL);  assert(!r);  in main()
59    r= pthread_mutex_init(&mx2b, NULL);  assert(!r);  in main()
61    r= pthread_create(&child2, NULL, child_fn2, NULL);  assert(!r);  in main()
62    r= pthread_create(&child1, NULL, child_fn1, NULL);  assert(!r);  in main()
64    r= pthread_join(child1, NULL);  assert(!r);  in main()
65    r= pthread_join(child2, NULL);  assert(!r);  in main()
68    r= pthread_mutex_destroy(&mx1b);  assert(!r);  in main()
69    r= pthread_mutex_destroy(&mx2a);  assert(!r);  in main()
70    r= pthread_mutex_destroy(&mx2b);  assert(!r);  in main()