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

[variant baseline]
pub fun Trafo::div($t0|x: u64, $t1|y: u64): u64 {
     var $t2: u64
     var $t3: u64
     var $t4: u64
  0: $t2 := copy($t0)
  1: $t3 := copy($t1)
  2: $t4 := /($t2, $t3)
  3: return $t4
}