Buggy for multiple threads