Fix bug in memory initialisation and add the stack offset information in tail recursion. AllocateMemoryVariable untags the length register. We need to use a different register for the length to avoid untagging it twice.