!7

p {
  Folder f = gmail_sentMail(gmail_stefan());
  print("Folder size: " + f.getMessageCount());
  f.open(f.READ_ONLY);
  Message[] l = f.getMessages();
  print("Retrieved " + l(l));
  for (Message m : reversed(l))
    print(m.getSentDate() + ": " + asList(m.getAllRecipients()));
}