// undefined, we don't get an error message, but this
// function and its callers, up several stack level,
// silently return. What a crock.
// undefined, we don't get an error message, but this
// function and its callers, up several stack level,
// silently return. What a crock.