Added -s flag to all the examples -- krun sometimes runs out of memory otherwise.