404 Not Found
The requested path /src/inferno-os/dis/lib/irsim.dis was not found on this server.
rc-httpd at plan9.stanleylieber.com