function example()
{
// need backslash conversion for Windows systems
if(str_replace('\\', '/', __FILE__) != $_SERVER['SCRIPT_FILENAME'])
{
user_error("example(): included calls not allowed", E_USER_WARNING);
return(FALSE);
}
// rest of function...
}