Pushes the next execution address onto the stack and writes the address at which label is defined to the execution register. Effectively, this calls a routine.