language mechanics on stacks and pointers