ffi народ, а расскажите как работает FFI там, где он работает. Вроде в Хаскеле говорят неплохая реализация есть.
Интересно: можно ли написать на высокоуровневом языке несколько строк и получить работающий биндинг к тому же libav?