-Problem 1-2: Join [[/14]]
-[[-2]] join-simple: A creates B, A joins B (public)
-[[-2]] join-quick: A creates B, A joins B, with different details (public)
-[[-2]] join-multiple: A creates B and C, A joins B, A joins C (public)
-[[-2]] join-nested: A creates B, B creates C, ..., B joins C, A joins B
-[[-2]] join-dummy: A creates B, A joins B, A joins B
-[[-2]] join-invalid: Joining an invalid tid must not crash or hang
-[[-2]] join-no: Creating a thread and never joining it must not crash or hang
+Problem 1-2: Join
+ -2 join-simple: A creates B, A joins B (public)
+ -2 join-quick: A creates B, A joins B, with different details (public)
+ -2 join-multiple: A creates B and C, A joins B, A joins C (public)
+ -2 join-nested: A creates B, B creates C, ..., B joins C, A joins B
+ -2 join-dummy: A creates B, A joins B, A joins B
+ -2 join-invalid: Joining an invalid tid must not crash or hang
+ -2 join-no: Creating a thread and never joining it must not crash or hang
+Score: /14