REQUIRE: BinDeps