Code

revision.c: update show_object_with_name() without using malloc()