tai42-contract<8,>=7.0
