Corpus for openat$null:
Coverage Program
614 openat$null
585 openat$null