Отдача стартовой строки HTTP ответа в PHP

С помощью функции header можно также отдавать стартовую строку HTTP ответа. Как правило это используется для того, чтобы указать статус. В основном для 404 ошибки:

php<?php
  header('HTTP/1.1 404 Not Found');
?>

Задание 1

Допишите код так, чтобы отдавался заголовок 404 ошибки:

php<?php
  $arr = ['a', 'b', 'c'];
  $key = $_GET['key'];
  
  if (isset($arr[$key])) {
    echo $arr[$key];
  } else {
    // отдать 404
    echo 'error';
  }
?>