^char s = "Hello There!\n";
[20 ]char a;
void copyString(
    ^char dest, src; )
    begin
        char c;
        do
            c = ( src ++ )^;
            ( dest ++ )^ = c;
        end
        while c != 0;
    end
char toUpper(
    char c; )
    begin
        if 'a' <= c && c <= 'z' then
            return c + 'A' - 'a';
        else
            return c;
        end
    end
void convertString(
    ^char dest; )
    begin
        char c;
        do
            c = toUpper( dest^ );
            ( dest ++ )^ = c;
        end
        while c != 0;
    end
void printString(
    ^char p; )
    begin
        while p^ != 0 do
            printf( "%c", ( p ++ )^ );
        end
    end
copyString( a, s );
printString( s );
printString( a );
convertString( a );
printString( a );