fix getter to report non-null-terminated strings as well
print property in a way which allows for simple copy&paste