beginnings of kernel invocation code
ready to write kernel invocation generator
merged back with master generator