module Config

  meta "select_inst" "goal"
  meta "select_lskept" "goal"
  meta "select_lsinst" "goal"

end

module Types

  use Config
  use mach.c.C
  use mach.int.Int32
  use import mach.int.UInt64GMP as Limb

  type limb = uint64
  type t = ptr limb

  exception Break
  exception Return32 int32
  exception ReturnLimb limb

end
