Group project for Random thread debugger