(module yices-low-level mzscheme
  
  (require (lib "foreign.ss")) (unsafe!)
  
  (define libyices (ffi-lib "libyices"))
  
;  (define-cpointer-type _yices-context
  
  )