/* automatically generated by configure */
/* edit configure.in to change version number */
#define PHP_VERSION "4.0.1-dev"