The Hoa\Bench library.