fn fun(arg:i64) : i64 = arg
export{'efn', fun}