ffi foo : int -> int
ffi bar serverOnly benignEffectful : int -> transaction unit
ffi baz : transaction int
ffi bup jsFunc "jsbup" : int -> transaction unit
fun other () : transaction page =
(*bar 17;
q <- baz;*)
return
(*{[foo 42]}, {[q]}*)
fun main () = return