implement strings() and add examples/libc-dump-*.py