everything is now completely asynchronous, major refactoring of pointer machine, lots of bug fixes, ...