============ after processor `stackless` ================

[variant baseline]
pub fun Signer::address_of($t0|s: &signer): address {
     var $t1: &signer
     var $t2: &address
     var $t3: address
  0: $t1 := move($t0)
  1: $t2 := Signer::borrow_address($t1)
  2: $t3 := read_ref($t2)
  3: return $t3
}


[variant baseline]
pub fun Trafo::dummy_need_signer_use_in_move($t0|account: &signer): address {
     var $t1: &signer
     var $t2: address
  0: $t1 := move($t0)
  1: $t2 := Signer::address_of($t1)
  2: return $t2
}


[variant baseline]
pub fun Trafo::publish($t0|account: &signer, $t1|x: u64) {
     var $t2: &signer
     var $t3: u64
     var $t4: Trafo::R
  0: $t2 := move($t0)
  1: $t3 := copy($t1)
  2: $t4 := pack Trafo::R($t3)
  3: move_to<Trafo::R>($t4, $t2)
  4: return ()
}