adam@1878: open Ffi_eff adam@1878: adam@1878: fun main () : transaction page = return adam@1878: