sys7.1-doc-wip/Tools/d32strip