no memory leaks anymore in the krivine machine (for a simple "add 1 2")