Various utilities in PHP5.3