Implementation of a software that fixes C concurrency bugs by swapping lines in the source code.