updated the tacas example to compress the code