Add call/return (push/pop) functionality to State Machine.