print( strings.reverse( "esrever" ) );
str := "abc123";
print( strings.reverse( str ) );
print( str@@reverse() )