1 2 3 4 5 6 7 8
procedure A() {} procedure B({:linear ""} tid:int) returns({:linear ""} tid':int) { tid' := tid; call A(); }