new object $mail_postmaster: $mail_list;

var $dmi_data descriptions = #[];
var $has_name name = ['prop, "postmaster", "postmaster"];
var $mail_list mail = [];
var $mail_list notify = [];
var $mail_list readers = 0;
var $mail_list senders = 1;
var $root created_on = 869072520;
var $root flags = ['variables, 'methods, 'code, 'core];
var $root inited = 1;
var $root managed = [$mail_postmaster];
var $root manager = $mail_postmaster;