tai42-contract<18,>=17.0
