SDL bindings package for idris