public static function run($ctrl) {
    $method = $_SERVER['REQUEST_METHOD'];
    list ($headers, $body) = $ctrl->run($method, ($method === 'GET' ? $_GET : $_POST));
    foreach ($headers as $k => $v) {
      header("$k: $v");
    }
    echo $body;
  }