bearophile Sat, 25 Aug 2012 08:50:17 -0700
And now your backtrack() function too can be nothrow :-)
Bye, bearophile