ex1.bash : target=shinygold nkeys=594 res=287
	time: 0:06.99 real, 6.99 user, 0.00 sys
	context-switch:	720+1, page-faults: 0+403

ex1-bis.bash : target=shinygold res=287
	time: 0:00.12 real, 0.12 user, 0.00 sys
	context-switch:	14+1, page-faults: 0+209

ex1-c : target=shinygold nkeys=594 res=287
	time: 0:00.00 real, 0.00 user, 0.00 sys
	context-switch:	0+1, page-faults: 0+117

ex2.bash : target=shinygold res=48160
	time: 0:00.34 real, 0.28 user, 0.06 sys
	context-switch:	37+253, page-faults: 0+12039

ex2-c : target=shinygold nkeys=594 res=48160
	time: 0:00.00 real, 0.00 user, 0.00 sys
	context-switch:	0+1, page-faults: 0+118