panic "should not happen if Config.check() was called before"