traceoptions { file { filename filename; files number; size size; match regex; microsecond-stamp; (world-readable | no-world-readable); } flag flag; }