src/distrib/hp300/instkernel