Add comments explaining implementation details.

One additional change that has been made is to access the return address
on the stack using the size of a pointer (rather than the size of an
int). This change sets us up for success on 64-bit machines.