!7

p {
  Folder f = gmail_sentMail(gmail_stefan());
  print("Folder size: " + f.getMessageCount());
  Message[] l = f.getMessages();
  print("Retrieved " + l(l));
}