Add call and ret
Add function semantics to ATOMS