More TCK coverage