src/distrib/pmax/instkernel