random: Fix behavior of kernel option "-rs".

[pintos-anon] / src / tests / userprog / close-bad-fd.c

/* Tries to close an invalid fd, which must either fail silently
   or terminate with exit code -1. */

#include <syscall.h>
#include "tests/main.h"

void
test_main (void) 
{
  close (0x20101234);
}