Corpus for times:
Coverage
Program
2033
times-sync
132
pkey_mprotect-times
59
times