First.scilla

import ListUtils BoolUtils


library First

let one_msg = 
  fun (msg : Message) => 
  let nil_msg = Nil {Message} in
  Cons {Message} msg nil_msg


contract First ()

transition callSecondSetHello (address : ByStr20, message : String)
  accept;
  msg = {_tag : "setHello"; _recipient : address; _amount : Uint128 0; message : message};
  msgs = one_msg msg;
  send msgs
end

Second.scilla

contract Second ()

field welcome_msg : String = ""

transition setHello (message : String)
  welcome_msg := message;
  e = {_eventname : "Set hello"; message : message};
  event e
end