/ inferno-os / libsec / Plan9-mips