src/distrib/acorn26/instkernel