correct arginfo for doCall and doBranch