77d4f87201a40331737c17bb6e54cc7fb5073a39
[YACASL2.git] / monitor / dump_plus.monitor
1 l sum_10.o
2 d 0 +#20