ex1.bash : lines=743 max=838
	 time: 0:00.94 real,	0.62 user,	0.41 sys

ex1-c : lines=743 max=838
	 time: 0:00.00 real,	0.00 user,	0.00 sys

ex2.bash : lines=743 seat=714
	 time: 0:00.99 real,	0.65 user,	0.43 sys

ex2-c : lines=743 seat=714
	 time: 0:00.00 real,	0.00 user,	0.00 sys