branching: support .call() on high registers