Program module: add get_kernel and run function stubs