public function fetch(string $key, $default = null)
    {
        if (isset($_SERVER[$key])) {
            return $_SERVER[$key];
        } else {
            $key = 'HTTP_' . $key;
            return $_SERVER[$key] ?? $default;
        }
    }