traceoptions { file filename <files number> <size size> <(world-readable | no-world-readable)>; flag flag <disable>; }