bearophile Fri, 26 Apr 2013 03:55:19 -0700
Timon Gehr:
I think what you call flip2 should be called flip.
Why? Bye, bearophile