src/work/marci/experiment/deref_vs_optimization
2004-04-03 One more experimental study about dereferation vs optimization