print_stack_push_vector 2522 src/print.c    	    print_stack_push_vector ("[", "]", obj, 0, ASIZE (obj),
print_stack_push_vector 2528 src/print.c    	    print_stack_push_vector ("#s(", ")", obj, 0, PVSIZE (obj),
print_stack_push_vector 2534 src/print.c    	    print_stack_push_vector ("#[", "]", obj, 0, PVSIZE (obj),
print_stack_push_vector 2540 src/print.c    	    print_stack_push_vector ("#^[", "]", obj, 0, PVSIZE (obj),
print_stack_push_vector 2556 src/print.c    	    print_stack_push_vector ("", "]", obj,