/*
 *      Copyright (c) 2023, an unpublished work by CodeSecure, Inc.
 *                      ALL RIGHTS RESERVED
 *
 *      Copyright (c) 2008-2023, an unpublished work by GrammaTech, Inc.
 *                      ALL RIGHTS RESERVED
 *
 *      This software is furnished under a license and may be used and
 *      copied only in accordance with the terms of such license and the       
 *      inclusion of the above copyright notice.  This software or any
 *      other copies thereof may not be provided or otherwise made
 *      available to any other person.  Title to and ownership of the
 *      software is retained by CodeSecure, Inc.
 */

void bad_caster(const char *p){
          
        char *q = (char *)p;
        *q = 'c';
}


void good_caster(char *p){
        
        int *q = (int *)p;
        *q = 0;
}


int main(){
        char *str = "hello, World";

        bad_caster(str);
        good_caster(str);
        return 0;

}
