** template selection based on unsafe type assertions (192c, 236);
** type checking in branches (194bc).
* VALUES declaration is disabled.
+ * a short form of VALUES type specifier has ANSI meaning.
planned incompatible changes in 0.8.x:
* (not done yet, but planned:) When the profiling interface settles