util/extensions/stardiv/oinstchk
