Corpus for openat$null:

Coverage	Program
701	openat$null
663	openat$null
223	openat$null