prove '0*.t' '1*.t'