Transaction -> Txn and AutomicIntClosure -> TxnIntCallable