lua:setcarproofs