`transition ReDelegateStake(ssnaddr: ByStr20, to_ssn: ByStr20, amount: Uint128)` For the majority of the smart code, `amoun`t is represented as `amt`