Functions to debug code in PHP