finally a runnable CPS-prg