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