binary-code-abstract-blanket