[Tcwg-commits] Test #3 of plus notation