Corpus for openat$null:

Coverage	Program
614	openat$null
585	openat$null