main_ :: Method
main_ [] this wb k =
  Assign n (Val (I 18)) $
  Assign a (Val (I 1)) $
  Assign b (Val (I 3)) $
  Assign tmp (Val (I 2)) $
  Assign res (Sync hanoi [a,b,tmp,n]) k
main_ :: Method
main_ [] this wb k =
  Assign n (Val (I 18)) $
  Assign a (Val (I 1)) $
  Assign b (Val (I 3)) $
  Assign tmp (Val (I 2)) $
  Assign res (Sync hanoi [a,b,tmp,n]) k
main_ [] this wb k =
  Assign n (Val (I 18)) $
  Assign a (Val (I 1)) $
  Assign b (Val (I 3)) $
  Assign tmp (Val (I 2)) $
  Assign res (Sync hanoi [a,b,tmp,n]) k