:- func dr(string) = string.
dr(Name) = Titled :-
some [!SB] (
!:SB = string.builder.init,
put_char(handle, 'D', !SB),
put_char(handle, 'r', !SB),
format(handle, " %s", [s(Name)], !SB),
Titled = to_string(!.SB)
).