7. El servicio devuelve la response, que es recibida en el cliente

const respuesta =
 await submitForm(
  "srv/procesa.php", event)
alert(respuesta.body)

$saludo = leeTexto("saludo");
$nombre = leeTexto("nombre");
$resultado =
 "{$saludo} {$nombre}.";
devuelveJson($resultado);