Revert to refer return address from stack pointer
Add examples
Accept no-else aif