A bunch of tries for PHP