Corpus for mkdirat$binderfs:
Coverage
Program