SYNOPSIS string replace_string( string str, string old, string new) FILE /kernel/simul_efun/strings.h DESCRIPTION Replaces all occurrences of old in str with new