fn fun(i:i64) : void = {
  emit{i64, 'thing', i}
}
export{'efn', fun}