tai42-contract<17,>=16.2
