Now correct stack size counting + new example