[POPL Concurrent] Added practical 5