TEMP: New base version of concuerror