Extending the core: while-loops.