src/distrib/mipsco

.