updated the output for ltlmc/programs/threads.cink