int fun( char *string )
{
    // Check string/*string for validity:
    if(  NULL != string  &&  '\0' != *string  ) { /* Okay! */
        static char *punct= "!@#-+/*.,;";
        /* Strip some punction characters: */
        stripchars( string, punct );
        ....