improve FormatStr.dump_stack()
improve FormatStr.write4()
improve Pattern.offset()