Add symbolic krun.