tai42-contract<4,>=3.0
