tai42-contract<17,>=16.0
