   yield();
 
   Serial.printf("\n\n");
-  Serial.printf("Default SSL:        %d bytes used\n", a);
-  Serial.printf("1024 byte MFLN SSL: %d bytes used\n", b);
+  Serial.printf("Default SSL:       %d bytes used\n", a);
+  Serial.printf("512 byte MFLN SSL: %d bytes used\n", b);
 }

void fetch(BearSSL::WiFiClientSecure *client) {
  client->write("GET / HTTP/1.0\r\nHost: tls.mbed.org\r\nUser-Agent: ESP8266\r\n\r\n");
  client->flush();
  uint32_t to = millis() + 5000;
  do {
    char tmp[32];
    memset(tmp, 0, 32);
    int rlen = client->read((uint8_t*)tmp, sizeof(tmp) - 1);
    yield();
    if (rlen < 0) {
      break;
    }
    Serial.print(tmp);
  } while (millis() < to);
  client->stop();
  Serial.printf("\n-------\n");
}

// Released to the public domain

#include <ESP8266WiFi.h>
#include <PolledTimeout.h>

#ifndef STASSID
#define STASSID "your-ssid"
