added stacks, escape, and asserts