js: add dump3, default to `str`