protect.c works may need to fix a bug in minix