i386os9k.c   [plain text]