src/distrib/sgimips/instkernel