FX-87 Kernel language