// included from smobs.hh, but other template expansion systems might
// make it feasible to compile this only a single time.
// included from smobs.hh, but other template expansion systems might
// make it feasible to compile this only a single time.