print_stack_push_vector 2527 src/print.c    	    print_stack_push_vector ("[", "]", obj, 0, ASIZE (obj),
print_stack_push_vector 2533 src/print.c    	    print_stack_push_vector ("#s(", ")", obj, 0, PVSIZE (obj),
print_stack_push_vector 2539 src/print.c    	    print_stack_push_vector ("#[", "]", obj, 0, PVSIZE (obj),
print_stack_push_vector 2545 src/print.c    	    print_stack_push_vector ("#^[", "]", obj, 0, PVSIZE (obj),
print_stack_push_vector 2561 src/print.c    	    print_stack_push_vector ("", "]", obj,