Execution with krun now works for simple program.