// Test michelson insertion in CameLIGO

let michelson_add (n : nat) : nat =
  [%Michelson {| DUP;ADD; PUSH "hello" |} : nat -> nat ]