WIP on making sure that the TCK fails with USEFUL errors