Policy: /usr/local/bin/xdvi.bin, Emulation: native
	native-fsread: filename eq "/usr/libexec/ld.so" then permit
	native-read: permit
	native-mmap: permit
	native-issetugid: permit
	native-__sysctl: permit
	native-fsread: filename eq "/var/run/ld.so.hints" then permit
	native-fsread: filename match "/usr/lib/*" then permit
	native-mprotect: permit
	native-close: permit
	native-munmap: permit
	native-fstat: permit
	native-fsread: filename eq "/etc/malloc.conf" then permit
	native-break: permit
	native-ioctl: permit
	native-write: permit
	native-read: permit
	native-exit: permit
	native-fsread: filename match "/usr/X11R6/lib/*" then permit
	native-socket: sockdom eq "AF_INET" and socktype eq "SOCK_STREAM" then permit
	native-setsockopt: permit
	native-fsread: filename eq "/etc/resolv.conf" then permit
	native-fsread: filename eq "/etc/hosts" then permit
	native-connect: sockaddr match "inet-\[127.0.0.1\]:601[0-9]" then permit
	native-getsockname: permit
	native-getpeername: permit
	native-fcntl: permit
	native-fsread: filename eq "$HOME/.Xauthority" then permit
	native-writev: permit
	native-poll: permit
	native-readv: permit
	native-socket: sockdom eq "AF_UNIX" and socktype eq "SOCK_STREAM" then permit
	native-connect: sockaddr match "/tmp/.X11-unix/X[0-9]" then permit
	native-fsread: filename eq "/sbin/xdvi.bin" then permit
	native-fsread: filename eq "/usr/sbin/xdvi.bin" then permit
	native-fsread: filename eq "/bin/xdvi.bin" then permit
	native-fsread: filename eq "/usr/bin/xdvi.bin" then permit
	native-fsread: filename eq "/usr/X11R6/bin/xdvi.bin" then permit
	native-fsread: filename eq "/usr/local/bin/xdvi.bin" then permit
	native-fsread: filename eq "/usr" then permit
	native-fsread: filename eq "/usr/local" then permit
	native-fsread: filename eq "/usr/local/bin" then permit
	native-fsread: filename eq "$HOME/.Xdefaults" then permit
	native-fsread: filename match "$HOME/.Xdefaults-*" then permit
	native-fsread: filename match "/usr/local/share/texmf/*" then permit
	native-getpid: permit
	native-gettimeofday: permit
	native-fsread: filename eq "/dev/arandom" then permit
	native-fsread: filename sub "<non-existent filename>" then deny[enoent]
	native-fswrite: filename match "/tmp/xdvi*" then permit
	native-getlogin: permit
	native-fsread: filename match "/usr/share/zoneinfo/*" then permit
	native-fsread: filename eq "/" then permit
	native-fsread: filename match "$HOME/papers/*" then permit
	native-fsread: filename eq "$HOME/papers" then permit
	native-fstatfs: permit
	native-getdirentries: permit
	native-lseek: permit
	native-fsread: filename eq "$HOME" then permit
	native-fsread: filename inpath "$HOME" then permit
	native-fsread: filename eq "/var" then permit
	native-fsread: filename eq "/tmp" then permit
	native-fsread: filename eq "$HOME/.mime-types" then permit
	native-fsread: filename match "/usr/local/bin/*" then permit
	native-fsread: filename eq "/usr/local/texmf.cnf" then permit
	native-fsread: filename eq "/usr/texmf.cnf" then permit
	native-fsread: filename eq "/usr/local/share/texmf" then permit
	native-fsread: filename eq "/var/tmp/texfonts" then permit
	native-fsread: filename match "/var/tmp/texfonts/*" then permit
	native-fsread: filename eq "/usr/local/etc/mime.types" then permit
	native-fsread: filename eq "$HOME/.mailcap" then permit
	native-sigprocmask: permit
	native-pipe: permit
	native-vfork: permit
	native-dup2: permit
	native-execve: filename eq "/bin/sh" then permit
	native-wait4: permit
	native-sigaction: permit
	native-sigreturn: permit
	native-sigsuspend: permit

