Experiment with prove for xt/