#include <sys/stat.h>
#include <unistd.h>
#include <fcntl.h>
#include <string.h>
#include <stdlib.h>
 
 int main()
 {
     const char* filename = strdup("revoke.tst");
     (void)open(filename, O_RDWR | O_CREAT, S_IRUSR | S_IWUSR);

     // add a gratuitous syscall
     (void)getdtablesize();
    
     // OK 
     revoke(filename);

     // with an invalid param
     free((void*)filename);
     revoke(filename);
 }
