+set record insn-number-max 10000000
[nethome.git] / .toprc
2007-04-04 lace1